Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gergei Bana
Computational Soundness of Formal Indistinguishability and Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Equivalence Analysis
Formal Indistinguishability Extended to the Random Oracle Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Soundness of Formal Encryption in the Presence of Active Adversaries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computational Complexity of Formal Translations
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Equivalence of the Nonlinear String and One-Dimensional Fluid Flow
Quarterly of Applied Mathematics
Applied Mathematics
A Formal Computational Semantics and Pragmatics of Speech Acts
Static Verification of Wireless Sensor Networks With Formal Methods
