E-LIB Suche - Ergebnisse für: Klein, Gerwin

1

Formalising the Prevention of Microarchitectural Timing Cha..:

, In: Formal Methods; Lecture Notes in Computer Science,

Sison, Robert ; Buckley, Scott ; Murray, Toby.. - p. 103-121 , 2023

Link: https://doi.org/10.1007/..

2

Property-Based Testing: Climbing the Stairway to Verificati..:

, In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering,

Chen, Zilin ; Rizkallah, Christine ; O'Connor, Liam... - p. 84-97 , 2022

Link: https://dl.acm.org/doi/1..

3

Cyberassured Systems Engineering at Scale:

Cofer, Darren ; Amundson, Isaac ; Babar, Junaid...
IEEE Security & Privacy. 20 (2022) 3 - p. 52-64 , 2022

Link: https://doi.org/10.1109/..

4

Cogent: uniqueness types and certifying compilation:

O'CONNOR, LIAM ; CHEN, ZILIN ; RIZKALLAH, CHRISTINE...
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

5

Formal Reasoning Under Cached Address Translation:

Syeda, Hira Taqdees ; Klein, Gerwin
Journal of Automated Reasoning. 64 (2020) 5 - p. 911-945 , 2020

Link: https://doi.org/10.1007/..

6

Towards Provable Timing-Channel Prevention:

Heiser, Gernot ; Murray, Toby ; Klein, Gerwin
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 1-7 , 2020

Link: https://doi.org/10.1145/..

7

seL4 in Australia: from research to real-world trustworthy ..:

Heiser, Gernot ; Klein, Gerwin ; Andronick, June
Communications of the ACM. 63 (2020) 4 - p. 72-75 , 2020

Link: https://doi.org/10.1145/..

8

Towards Provable Timing-Channel Prevention:

Heiser, Gernot ; Murray, Toby ; Klein, Gerwin
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 1-7 , 2020

Link: https://dl.acm.org/doi/1..

9

seL4 in Australia : from research to real-world trustwor..:

Heiser, Gernot ; Klein, Gerwin ; Andronick, June
Communications of the ACM. 63 (2020) 4 - p. 72-75 , 2020

Link: https://dl.acm.org/doi/1..

10

Can We Prove Time Protection?:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,

Heiser, Gernot ; Klein, Gerwin ; Murray, Toby - p. 23-29 , 2019

Link: https://dl.acm.org/doi/1..

11

Bringing Effortless Refinement of Data Layouts to Cogent:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,

O'Connor, Liam ; Chen, Zilin ; Susarla, Partha... - p. 134-149 , 2018

Link: https://doi.org/10.1007/..

12

Introduction to Milestones in Interactive Theorem Proving:

Avigad, Jeremy ; Blanchette, Jasmin Christian ; Klein, Gerwin...
Journal of Automated Reasoning. 61 (2018) 1-4 - p. 1-8 , 2018

Link: https://doi.org/10.1007/..

13

Formally verified software in the real world:

Klein, Gerwin ; Andronick, June ; Fernandez, Matthew...
Communications of the ACM. 61 (2018) 10 - p. 68-77 , 2018

Link: https://dl.acm.org/doi/1..

14

A Formal Approach to Constructing Secure Air Vehicle Softwa..:

Cofer, Darren ; Gacek, Andrew ; Backes, John...
Computer. 51 (2018) 11 - p. 14-23 , 2018

Link: https://doi.org/10.1109/..

15

Formally verified software in the real world:

Klein, Gerwin ; Andronick, June ; Fernandez, Matthew...
Communications of the ACM. 61 (2018) 10 - p. 68-77 , 2018

Link: https://doi.org/10.1145/..