|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
Automated Proofs for Asymmetric Encryption.  |
J. Autom. Reasoning  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
Automated Proofs for Asymmetric Encryption. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Monin, Cristian Ene, Michaël Périn |
Gentzen-Prawitz Natural Deduction as a Teaching Tool |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cristian Ene, Yassine Lakhnech, Van Chan Ngo |
Formal Indistinguishability Extended to the Random Oracle Model. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
Towards automated proofs for asymmetric encryption schemes in the random oracle model. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model |
| 1 | Judicaël Courant, Cristian Ene, Yassine Lakhnech |
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Bozga, Cristian Ene, Yassine Lakhnech |
A symbolic decision procedure for cryptographic protocols with time stamps. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn |
Automatic Verification of Security Properties Based on Abstractions. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Liana Bozga, Cristian Ene, Yassine Lakhnech |
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Bozga, Cristian Ene, Yassine Lakhnech |
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Ene, Traian Muntean |
Testing Theories for Broadcasting Processes. |
Sci. Ann. Cuza Univ. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Ene, Traian Muntean |
A Broadcast-based Calculus for Communicating Systems. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristian Ene, Traian Muntean |
Expressiveness of Point-to-Point versus Broadcast Communications. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Ene |
On Complexity of Reachability of Transition Restricted Petri Nets. |
Sci. Ann. Cuza Univ. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Cristian Ene |
Hierarchies of Petri Net Languages and a Super-Normal Form. |
Journal of Automata, Languages and Combinatorics |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Cristian Ene |
Hierarchies of Petri Net Languages and a Super-Normal Form. |
Developments in Language Theory |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc |
Some Decision Problems for Parallel Communicating Grammar Systems. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Cristian Ene |
A Coverability Structure for Parallel Communicating Grammar Systems. |
Elektronische Informationsverarbeitung und Kybernetik |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")