Patrick Schaller

According to our database1, Patrick Schaller authored at least 10 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Inducing Authentication Failures to Bypass Credit Card PINs.
Proceedings of the 32nd USENIX Security Symposium, 2023

2021
Blockchain in Cyberdefence: A Technology Review from a Swiss Perspective.
CoRR, 2021

2011
Formal Reasoning about Physical Properties of Security Protocols.
ACM Trans. Inf. Syst. Secur., 2011

Applied Information Security - a Hands-on Approach.
Springer, ISBN: 978-3-642-24473-5, 2011

2010
Security Protocols for Wireless Networks and their Formal Analysis.
PhD thesis, 2010

Impossibility Results for Secret Establishment.
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009
Let's Get Physical: Models and Methods for Real-World Security Protocols.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008
Secure neighborhood discovery: a fundamental element for mobile ad hoc networking.
IEEE Commun. Mag., 2008

2007
BAP: Broadcast Authentication Using Cryptographic Puzzles.
Proceedings of the Applied Cryptography and Network Security, 5th International Conference, 2007


  Loading...