Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yvonne Hitchcock
Errors in Computational Complexity Proofs for Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Computationally Sound Mechanized Proofs for Deniable Authentication Protocols With a Probabilistic Polynomial Calculus in Computational Model
Information Technology Journal
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complexity Tradeoff in Ranking-Function Termination Proofs
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Computational Complexity and Knowledge Complexity
SIAM Journal on Computing
Mathematics
Computer Science
Complexity in Automation of SOS Proofs: An Illustrative Example
On the Concrete Complexity of Zero-Knowledge Proofs
Uncertainty and Computational Complexity
Philosophical Transactions of the Royal Society B: Biological Sciences
Biochemistry
Agricultural
Genetics
Molecular Biology
Biological Sciences
Entropy as Computational Complexity
Journal of Information Processing
Descriptive and Computational Complexity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
