Cristian Ene

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Output-sensitive information flow analysis Formal Techniques for Distributed Objects, Components, and Systems	2024-02-06	Paper
Output-sensitive information flow analysis (available as arXiv preprint)	2021-03-26	Paper
Output-sensitive information flow analysis	2021-03-26	Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus Theoretical Computer Science	2015-12-15	Paper
CIL security proof for a password-based key exchange Provable Security	2013-10-23	Paper
On unique decomposition of processes in the applied \(\pi\)-calculus Lecture Notes in Computer Science	2013-03-18	Paper
Automated proofs for asymmetric encryption Journal of Automated Reasoning	2011-06-03	Paper
Automated proofs for asymmetric encryption Concurrency, Compositionality, and Correctness	2010-03-09	Paper
Formal Indistinguishability Extended to the Random Oracle Model Computer Security – ESORICS 2009	2009-10-16	Paper
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
Testing theories for broadcasting processes	2008-04-14	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-09-28	Paper
A symbolic decision procedure for cryptographic protocols with time stamps The Journal of Logic and Algebraic Programming	2005-10-07	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper
On complexity of reachability of transition restricted Petri nets Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică	2001-08-13	Paper
scientific article; zbMATH DE number 1390069 (Why is no real title available?)	2000-10-17	Paper
Some decision problems for parallel communicating grammar systems Theoretical Computer Science	2000-06-15	Paper
scientific article; zbMATH DE number 1156490 (Why is no real title available?)	1998-05-26	Paper
scientific article; zbMATH DE number 777290 (Why is no real title available?)	1995-07-20	Paper

Research outcomes over time

This page was built for person: Cristian Ene