Jakub Szefer

Artificial Intelligence · 2010–2019

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 18 citations into it

Whom Jakub Szefer trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Ruby B. Lee
2. David Lie
3. Thomas Moscibroda

Who trusts Jakub Szefer overall

1. Mazhar Ali
2. Samee Ullah Khan

Papers from Jakub Szefer's perspective

Ordered by how strongly the researchers Jakub Szefer trusts endorse each paper. Same corpus, a different order for every researcher.

1. SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (Symposium on Operating Systems Principles)
2. seL4: formal verification of an OS kernel
3. Memory Performance Attacks: Denial of Memory Service in Multi-Core Systems (USENIX Security Symposium)
4. seL4: Formal Verification of an OS Kernel
5. Live migration of virtual machines (Symposium on Networked Systems Design and Implementation)
6. TrustVisor: Efficient TCB Reduction and Attestation
7. SPEC CPU2006 benchmark descriptions (CARN)
8. Architectural support for copy and tamper resistant software
9. Cache-timing attacks on AES
10. Architecture for protecting critical secrets in microprocessors

Their papers

• NoHype: virtualized cloud infrastructure without the virtualization (2010) — 307 citations
• SecChisel Framework for Security Verification of Secure Processor Architectures (2019) — 16 citations
• Eliminating the hypervisor attack surface for a more secure cloud (2011) — 321 citations