Cristian Ene

From MaRDI portal
Revision as of 05:32, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Cristian Ene to Cristian Ene: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:896921

Available identifiers

zbMath Open ene.cristianMaRDI QIDQ896921

List of research outcomes





PublicationDate of PublicationType
Output-sensitive information flow analysis2024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q58564192021-03-26Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus2015-12-15Paper
CIL Security Proof for a Password-Based Key Exchange2013-10-23Paper
On Unique Decomposition of Processes in the Applied π-Calculus2013-03-18Paper
Automated proofs for asymmetric encryption2011-06-03Paper
Automated Proofs for Asymmetric Encryption2010-03-09Paper
Formal Indistinguishability Extended to the Random Oracle Model2009-10-16Paper
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption2008-04-24Paper
https://portal.mardi4nfdi.de/entity/Q54576812008-04-14Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
A symbolic decision procedure for cryptographic protocols with time stamps2005-10-07Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q27339972001-08-13Paper
https://portal.mardi4nfdi.de/entity/Q49343342000-10-17Paper
Some decision problems for parallel communicating grammar systems2000-06-15Paper
https://portal.mardi4nfdi.de/entity/Q43905381998-05-26Paper
https://portal.mardi4nfdi.de/entity/Q48401661995-07-20Paper

Research outcomes over time

This page was built for person: Cristian Ene

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