Cristian Ene

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cristian Ene