Luca Viganò

International Conference on Computer Aided Verification · 2005–2006

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

Whom Luca Viganò trusts overall

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

  1. Michael Goldsmith
  2. Bruno Blanchet
  3. David A. Basin
  4. Sebastian Alexander Mödersheim
  5. C. Kaufman

Who trusts Luca Viganò overall

  1. Cjf Cas Cremers
  2. Bruno Blanchet

Papers from Luca Viganò's perspective

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

  1. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
  2. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
  3. A and V
  4. Modelling and analysis of security protocols
  5. Constraint solving for bounded-process cryptographic protocol analysis (Conference on Computer and Communications Security)
  6. Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)* (Journal of Cryptology)
  7. Abstract Interpretation Frameworks
  8. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  9. The Effect of Internet Security Breach Announcements on Market Value: Capital Market Reactions for Breached Firms and Internet Security Developers (International Journal of Electronic Commerce)
  10. Measuring the Cost of Cybercrime (Workshop on the Economics of Information Security)

Their papers