Andrei Sabelfeld

Artificial Intelligence · 2000–2015

A researcher in the Science corpus: 5 papers; trusts 10 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

Whom Andrei Sabelfeld trusts overall

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

  1. Kim Guldstrand Larsen
  2. David Sands
  3. A. Myers
  4. Gilles Barthe
  5. Pascal Paillier

Who trusts Andrei Sabelfeld overall

  1. David Sands
  2. Geoffrey Smith
  3. A. Myers
  4. Ashay Rane
  5. Michael R. Clarkson
  6. Yuxin Wang
  7. Steve Zdancewic
  8. Yao-Wen Huang
  9. William Enck
  10. Rohit Sinha

Papers from Andrei Sabelfeld's perspective

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

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Bisimulation through Probabilistic Testing
  3. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
  4. Probabilistic noninterference for multi-threaded programs (Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13)
  5. Protecting privacy using the decentralized label model (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  6. Cryptography and Data Security
  7. Formal Certification of Code-Based Cryptographic Proofs.
  8. Faster Secure Two-Party Computation Using Garbled Circuits
  9. Formal certification of code-based cryptographic proofs
  10. The protection of information in computer systems

Their papers