Sebastian Alexander Mödersheim

International Conference on Computer Aided Verification · 2005

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

Whom Sebastian Alexander Mödersheim trusts overall

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

  1. Michael Goldsmith

Who trusts Sebastian Alexander Mödersheim overall

  1. Cjf Cas Cremers
  2. Bruno Blanchet
  3. Luca Viganò
  4. Vanga Odelu

Papers from Sebastian Alexander Mödersheim's perspective

Ordered by how strongly the researchers Sebastian Alexander Mödersheim trusts endorse each paper. Same corpus, a different order for every researcher.

  1. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
  2. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
  3. Modelling and analysis of security protocols
  4. A and V
  5. Constraint solving for bounded-process cryptographic protocol analysis (Conference on Computer and Communications Security)
  6. 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)
  7. Measuring the Cost of Cybercrime (Workshop on the Economics of Information Security)
  8. Is There a Cost to Privacy Breaches? An Event Study (Workshop on the Economics of Information Security)
  9. The economic cost of publicly announced information security breaches: empirical evidence from the stock market (Journal of computing and security)
  10. The qualitative content analysis process. (Journal of Advanced Nursing)

Their papers