César Sánchez

Artificial Intelligence · 2005–2013

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

Subfields

Whom César Sánchez trusts

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

  1. Fred B. Schneider (in Artificial Intelligence)

Papers from César Sánchez's perspective

Ordered by how strongly the researchers César Sánchez trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
  2. The Temporal Rover and the ATG Rover (SPIN)
  3. Observational determinism for concurrent program security (16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.)
  4. Secure Information Flow as a Safety Problem (Sensors Applications Symposium)
  5. An information-theoretic model for adaptive side-channel attacks (Conference on Computer and Communications Security)
  6. On the Foundations of Quantitative Information Flow (Foundations of Software Science and Computation Structure)
  7. Dimensions and principles of declassification (18th IEEE Computer Security Foundations Workshop (CSFW'05))
  8. Hyperproperties (IEEE Computer Security Foundations Symposium)
  9. Reasoning about knowledge
  10. An automata-theoretic approach to branching-time model checking (JACM)

Their papers