Andrew Ferraiuolo
Artificial Intelligence · 2017
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 20 citations into it
- Signal Processing — 14 citations into it
- Information Systems — 11 citations into it
Whom Andrew Ferraiuolo trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Leonardo de Moura
- K. Rustan
- Andrew Baumann
- Amit Vasudevan
- Marcus Peinado
- Gerwin Klein
- Victor Costan
- Chris Hawblitzel
- Nikolaj S. Bjørner
- M. Leino
Who trusts Andrew Ferraiuolo overall
Papers from Andrew Ferraiuolo's perspective
Ordered by how strongly the researchers Andrew Ferraiuolo trusts endorse each paper. Same corpus, a different order for every researcher.
- Shielding Applications from an Untrusted Cloud with Haven
- Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
- Innovative instructions and software model for isolated execution
- TrustVisor: Efficient TCB Reduction and Attestation
- Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
- Intel SGX Explained
- Architectural support for copy and tamper resistant software
- Sanctum: Minimal Hardware Extensions for Strong Software Isolation
- This paper is included in the Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16).
- Software Grand Exposure: SGX Cache Attacks Are Practical
Their papers
- Komodo: Using verification to disentangle secure-enclave hardware from software (2017) — 217 citations