Jannik Dreier

Conference on Computer and Communications Security · 2018

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

Whom Jannik Dreier trusts overall

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

  1. Bruno Blanchet

Papers from Jannik Dreier's perspective

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

  1. The TAMARIN Prover for the Symbolic Analysis of Security Protocols (International Conference on Computer Aided Verification)
  2. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif (Found. Trends Priv. Secur.)
  3. Practical Attacks Against Privacy and Availability in 4G/LTE Mobile Communication Systems (Network and Distributed System Security Symposium)
  4. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
  5. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (International Conference on Computer Aided Verification)
  6. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
  7. The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (International Conference on Computer Aided Verification)
  8. Stronger Security of Authenticated Key Exchange (Provable Security)
  9. Automatic discovery of linear restraints among variables of a program
  10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers