Standout Papers

seL4 2009 2026 2014 2020 473
  1. seL4 (2009)
    Gerwin Klein, Kevin Elphinstone et al. ANU Open Research (Australian National University)

Citation Impact

Citing Papers

Generative AI in Higher Education
2024 Standout
The role of artificial intelligence in achieving the Sustainable Development Goals
2020 Standout
Vessels Cybersecurity: Issues, Challenges, and the Road Ahead
2020 Standout
Cyber–Physical System Security for the Electric Power Grid
2011 Standout
Cloud security
2014
Research on prediction model of geotechnical parameters based on BP neural network
2018 Standout
Cyber–Physical Security of a Smart Grid Infrastructure
2011 Standout
Demand Side Management: Demand Response, Intelligent Energy Systems, and Smart Loads
2011 Standout
Two Birds with One Stone: Two-Factor Authentication with Security Beyond Conventional Bound
2016 Standout
Meltdown
2020
Research Priorities for Robust and Beneficial Artificial Intelligence
2015
Security in Building Automation Systems
2009
Cumulative Attestation Kernels for Embedded Systems
2012

Works of David Cock being referenced

seL4
2009 Standout
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
2016
Rankless by CCL
2026