Person:896921

Available identifiers

zbMath Open ene.cristianMaRDI QIDQ896921

List of research outcomes

Publication	Date of Publication	Type
Output-sensitive information flow analysis	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q5856419	2021-03-26	Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus	2015-12-15	Paper
CIL Security Proof for a Password-Based Key Exchange	2013-10-23	Paper
On Unique Decomposition of Processes in the Applied π-Calculus	2013-03-18	Paper
Automated proofs for asymmetric encryption	2011-06-03	Paper
Automated Proofs for Asymmetric Encryption	2010-03-09	Paper
Formal Indistinguishability Extended to the Random Oracle Model	2009-10-16	Paper
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5457681	2008-04-14	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
A symbolic decision procedure for cryptographic protocols with time stamps	2005-10-07	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q2733997	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4934334	2000-10-17	Paper
Some decision problems for parallel communicating grammar systems	2000-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4390538	1998-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4840166	1995-07-20	Paper

Research outcomes over time

This page was built for person: Cristian Ene