Muhammad Torabi Dashti

Srdjan Marinovic

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Semi-valid input coverage for fuzz testing.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

VERA: A Flexible Model-Based Vulnerability Testing Tool.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Efficiency of optimistic fair exchange using trusted devices.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

Extended beam search for non-exhaustive state space analysis.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Analysis of Communicating Authorization Policies.

[BibT_eX]

[DOI]

Simone Frau

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

SECFUZZ: Fuzz-testing security protocols.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011

A Privacy-Friendly RFID Protocol Using Reusable Anonymous Tickets.

[BibT_eX]

[DOI]

Mahdi Asadpour

Proceedings of the IEEE 10th International Conference on Trust, 2011

Complexity of fairness constraints for the Dolev-Yao attacker model.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Constructing Mid-Points for Two-Party Asynchronous Protocols.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Risk Balance in Optimistic Non-repudiation Protocols.

[BibT_eX]

[DOI]

Yanjing Wang

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Integrated Specification and Verification of Security Protocols and Policies.

[BibT_eX]

[DOI]

Simone Frau

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Fair Exchange.

[BibT_eX]

[DOI]

Sjouke Mauw

Proceedings of the Handbook of Financial Cryptography and Security., 2010

Semi-linear Parikh Images of Regular Expressions via Reduction.

[BibT_eX]

[DOI]

Bahareh Badban

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Partial Order Reduction for Branching Security Protocols.

[BibT_eX]

[DOI]

Wan J. Fokkink

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Sums of powers via integration

[BibT_eX]

[DOI]

CoRR, 2009

Optimistic Fair Exchange Using Trusted Devices.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Minimal Message Complexity of Asynchronous Multi-party Contract Signing.

[BibT_eX]

[DOI]

Sjouke Mauw

Sasa Radomirovic

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme.

[BibT_eX]

[DOI]

Srijith Krishnan Nair

Hugo L. Jonker

Fundam. Informaticae, 2008

Data Failures.

[BibT_eX]

[DOI]

Simona Orzan

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Fair Exchange Is Incomparable to Consensus.

[BibT_eX]

[DOI]

Simona Orzan

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Distributed Partial Order Reduction for Security Protocols.

[BibT_eX]

[DOI]

Bert Lisser

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Keeping Secrets in Resource Aware Components.

[BibT_eX]

[DOI]

Tom Chothia

Jun Pang

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

A Hybrid PKI-IBC Based Ephemerizer System.

[BibT_eX]

[DOI]

Srijith Krishnan Nair

Bruno Crispo

Andrew S. Tanenbaum

Proceedings of the New Approaches for Security, 2007

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.

[BibT_eX]

[DOI]

Srijith Krishnan Nair

Hugo L. Jonker

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Pruning State Spaces with Extended Beam Search.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

Risk Balance in Exchange Protocols.

[BibT_eX]

[DOI]

Yanjing Wang

Proceedings of the Advances in Computer Science, 2007

A Certified Email Protocol Using Key Chains.

[BibT_eX]

[DOI]

Sjouke Mauw

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

A Framework for Automatically Checking Anonymity with <i>mu</i> CRL.

[BibT_eX]

[DOI]

Tom Chothia

Simona Orzan

Jun Pang

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

An intruder model for verifying liveness in security protocols.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005

On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol.

[BibT_eX]

[DOI]

J. G. Cederquist

Ricardo Corin

Proceedings of the Information and Communications Security, 7th International Conference, 2005

2004

Formal Analysis of a Fair Payment Protocol.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

A fuzzy automaton for control applications.

[BibT_eX]

[DOI]