Yassine Lakhnech

	2012
68		Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech, Riadh Robbana: Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information. Technique et Science Informatiques 31(2): 245-279 (2012)
	2011
67		Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech: Automating information flow control in component-based distributed systems. CBSE 2011: 73-82
66		Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech: Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. CPP 2011: 378-393
65		Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin: Beyond Provable Security Verifiable IND-CCA Security of OAEP. CT-RSA 2011: 180-196
64		Gilles Barthe, Mathilde Duclos, Yassine Lakhnech: A Computational Indistinguishability Logic for the Bounded Storage Model. FPS 2011: 102-117
63		Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS 2011: 164-180
62		Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS 2011: 23-31
61		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. J. Autom. Reasoning 46(3-4): 261-291 (2011)
	2010
60		Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech: Computational indistinguishability logic. ACM Conference on Computer and Communications Security 2010: 375-386
59		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321
58		Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte: On the Equality of Probabilistic Terms. LPAR (Dakar) 2010: 46-63
	2009
57		Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Security Proof for Symmetric Encryption Modes. ASIAN 2009: 39-53
56		Cristian Ene, Yassine Lakhnech, Van Chan Ngo: Formal Indistinguishability Extended to the Random Oracle Model. ESORICS 2009: 555-570
55		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)
	2008
54		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: 371-380
	2007
53		Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi: A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO 2007: 482-499
52		Judicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375
51		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electr. Notes Theor. Comput. Sci. 186: 121-139 (2007)
	2006
50		Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust 2006: 47-64
49		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
48		Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-based abstraction for verifying secrecy in protocols. STTT 8(1): 57-76 (2006)
	2005
47		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP 2005: 172-185
46		Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn: Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53
45		Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
44		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: (De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptology ePrint Archive 2005: 20 (2005)
43		Yassine Lakhnech, Laurent Mazaré: Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. IACR Cryptology ePrint Archive 2005: 97 (2005)
42		Yassine Lakhnech, Laurent Mazaré: Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. IACR Cryptology ePrint Archive 2005: 98 (2005)
41		Liana Bozga, Cristian Ene, Yassine Lakhnech: A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebr. Program. 65(1): 1-35 (2005)
	2004
40		Yassine Lakhnech, Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings Springer 2004
39		Liana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192
38		Liana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57
37		Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
	2003
36		Liana Bozga, Yassine Lakhnech, Michaël Périn: HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. CAV 2003: 219-222
35		Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
34		Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-Based Abstraction for Verifying Secrecy in Protocols. TACAS 2003: 299-314
33		Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99
	2002
32		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI 2002: 317-330
31		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
	2001
30		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001
29		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
28		Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355
27		Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
26		Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech: Networks of Processes with Parameterized State Space. Electr. Notes Theor. Comput. Sci. 50(4): 386-400 (2001)
25		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Verification of Parameterized Protocols. J. UCS 7(2): 141-158 (2001)
	2000
24		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
23		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Verifying Universal Properties of Parameterized Networks. FTRTFT 2000: 291-303
22		Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74
21		Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl: Abstracting WS1S Systems to Verify Parameterized Networks. TACAS 2000: 188-203
	1999
20		Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159
19		Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen: Divide, Abstract, and Model-Check. SPIN 1999: 57-76
18		Saddek Bensalem, Yassine Lakhnech: Automatic Generation of Invariants. Formal Methods in System Design 15(1): 75-92 (1999)
	1998
17		Saddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331
16		Saddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510
15		Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
14		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Computing: Practice and Experience 1(2): (1998)
	1997
13		Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196
12		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Comparing Timed C/E Systems with Timed Automata (Abstract). HART 1997: 81-86
11		Yassine Lakhnech, Michael Siegel: Deductive verification of stabilizing systems. WSS 1997: 201-216
	1996
10		Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi: Powerful Techniques for the Automatic Generation of Invariants. CAV 1996: 323-335
9		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp: Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME 1996: 595-608
8		Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326
	1995
7		Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
6		Ahmed Bouajjani, Yassine Lakhnech: Temporal Logic + Timed Automata: Expressiveness and Decidability. CONCUR 1995: 531-545
5		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever: Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS 1995: 80-95
4		Ahmed Bouajjani, Yassine Lakhnech: Logics vs. Automata: The Hybrid Case. Hybrid Systems 1995: 531-542
3		Yassine Lakhnech, Jozef Hooman: Metric Temporal Logic with Durations. Theor. Comput. Sci. 138(1): 169-199 (1995)
	1994
2		Yassine Lakhnech, Jozef Hooman: Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510
	1992
1		Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm: Provably Correct Compiler Development and Implementation. CC 1992: 141-155

Coauthor Index

1	Takoua Abdellatif	[67] [68]
2	Parosh Aziz Abdulla	[20]
3	Luís Almeida	[45]
4	Aurore Annichini	[20]
5	Gilles Barthe	[58] [60] [64] [65]
6	Kai Baukus	[19] [21] [23] [25] [26] [32]
7	Santiago Zanella Béguelin	[65]
8	Saddek Bensalem	[10] [16] [17] [18] [20] [21] [22] [26] [27] [33]
9	Albert Benveniste	[45]
10	Sergey Berezin	[27]
11	Frank S. de Boer	[24] [30]
12	Ahmed Bouajjani	[4] [6] [7] [8] [20] [28]
13	Bruno Bouyssounouse	[45]
14	Liana Bozga	[34] [36] [38] [39] [41] [46] [48]
15	Marius Bozga	[22] [35] [37] [49] [55]
16	Emmanuel Bresson	[53]
17	Bettina Buth	[1]
18	Karl-Heinz Buth	[1]
19	Giorgio C. Buttazzo	[45]
20	Paul Caspi	[45]
21	Aurore Collomb-Annichini	[28]
22	Pierre Corbineau	[66]
23	Judicaël Courant	[52] [54] [59] [61]
24	Ivica Crnkovic	[45]
25	Werner Damm	[45]
26	Dennis Dams	[29] [31]
27	Marion Daubignard	[50] [54] [58] [59] [60] [61]
28	Jannik Dreier	[63]
29	Mathilde Duclos	[64] [66]
30	Cristian Ene	[38] [39] [41] [46] [52] [54] [56] [59] [61]
31	Jakob Engblom	[45]
32	Sebastian Engell	[12] [14]
33	Jean-Claude Fernandez	[22]
34	Gerhard Fohler	[45]
35	Martin Fränzle	[1]
36	Martin Gagné	[57] [62]
37	Marisol García-Valls	[45]
38	Lucian Ghirvu	[22]
39	Susanne Graf	[33]
40	Benjamin Grégoire	[65]
41	Peter Habermehl	[20]
42	Ulrich Hannemann	[5] [9] [24] [30]
43	Gerard J. Holzmann	[15]
44	Jozef Hooman	[2] [3] [24] [30]
45	Ralf Huuck	[12] [14]
46	Radu Iosif	[35] [37] [49] [55]
47	Romain Janvier	[44] [46] [47] [50] [51]
48	Bruce M. Kapron	[58] [60]
49	Burghard von Karger	[1]
50	Hermann Kopetz	[45]
51	Stefan Kowalewski	[12] [14]
52	Pascal Lafourcade	[54] [57] [59] [61] [62] [63]
53	Hans Langmaack	[1]
54	Vincent Laporte	[58]
55	François Laroussinie	[45]
56	Luciano Lavagno	[45]
57	Giuseppe Lipari	[45]
58	Florence Maraninchi	[45]
59	Laurent Mazaré	[42] [43] [44] [46] [47] [50] [51] [53]
60	Erich Mikk	[13] [15]
61	Markus Müller-Olm	[1]
62	Van Chan Ngo	[56]
63	Sam Owre	[16] [17] [27]
64	Michaël Périn	[34] [36] [46] [48]
65	Philipp Peti	[45]
66	Mannes Poel	[24] [30]
67	Jörg Preußig	[12] [14]
68	Juan Antonio de la Puente	[45]
69	Riadh Robbana	[7] [67] [68]
70	Willem P. de Roever (Willem-Paul de Roever)	[5] [9] [24] [30]
71	Reihaneh Safavi-Naini	[57] [62]
72	Hassen Saïdi	[10]
73	Alberto L. Sangiovanni-Vincentelli	[45]
74	Norman Scaife	[45]
75	Lilia Sfaxi	[67] [68]
76	Michael Siegel	[11] [13] [15]
77	Joseph Sifakis	[45]
78	Mihaela Sighireanu	[28]
79	Robert de Simone	[45]
80	Karsten Stahl	[19] [21] [23] [25] [26] [32]
81	Martin Steffen	[19] [29] [31]
82	Frank A. Stomp	[9]
83	Martin Törngren	[45]
84	Luis Urbina	[12] [14]
85	Paulo Veríssimo	[45]
86	Bogdan Warinschi	[53]
87	Andy J. Wellings	[45]
88	Reinhard Wilhelm	[45]
89	Tim A. C. Willemse	[45]
90	Wang Yi	[45]
91	Sergio Yovine	[8] [40]
92	Job Zwiers	[5] [9] [24] [30]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page