Gergei Bana

From MaRDI portal
Person:2371317

Available identifiers

zbMath Open bana.gergeiMaRDI QIDQ2371317

List of research outcomes





PublicationDate of PublicationType
Soundness of Formal Encryption in the Presence of Key-Cycles2022-03-09Paper
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability2019-11-22Paper
Models of Objective Chance: An Analysis through Examples2018-02-19Paper
Semantics for "enough-certainty" and fitting's embedding of classical logic in S42017-07-19Paper
https://portal.mardi4nfdi.de/entity/Q29575272017-01-26Paper
Towards unconditional soundness: computationally complete symbolic attacker2012-06-29Paper
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols2009-06-09Paper
A note on portfolios with risk-free internal gains2007-07-04Paper

Research outcomes over time

This page was built for person: Gergei Bana

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2371317&oldid=7394538"
Powered by MediaWiki