Discover open access scientific publications

Search, annotate, share and cite publications

Publications by David Basin

Dynamic Enforcement of Abstract Separation of Duty Constraints

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2012English

Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2013English

A Complete Characterization of Secure Human-Server Communication

2015English

SECFUZZ: Fuzz-Testing Security Protocols

2012English

Developing Security Protocols by Refinement

2010English

SSL/TLS Session-Aware User Authentication – Or How to Effectively Thwart the Man-In-The-Middle

Computer Communications
Computer NetworksCommunications
2006English

Algebraic Intruder Deductions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Verifying a Signature Architecture: A Comparative Case Study

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy