Masoud Koleini

Artificial Intelligence · 2013

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

Subfields

Whom Masoud Koleini trusts

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

  1. Fred B. Schneider (in Artificial Intelligence)

Papers from Masoud Koleini's perspective

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

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

Their papers