The following pages link to Cristian Ene (Q896921):
Displaying 18 items.
- (Q540679) (redirect page) (← links)
- Automated proofs for asymmetric encryption (Q540682) (← links)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- Some decision problems for parallel communicating grammar systems (Q1341721) (← links)
- A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115) (← links)
- (Q2733997) (← links)
- CIL Security Proof for a Password-Based Key Exchange (Q2856156) (← links)
- Formal Indistinguishability Extended to the Random Oracle Model (Q3182857) (← links)
- (Q4390538) (← links)
- (Q4840166) (← links)
- On Unique Decomposition of Processes in the Applied π-Calculus (Q4910411) (← links)
- (Q4934334) (← links)
- Automated Proofs for Asymmetric Encryption (Q5187835) (← links)
- Foundations of Software Science and Computation Structures (Q5308441) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311473) (← links)
- (Q5457681) (← links)
- Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849) (← links)
- (Q5856419) (← links)
