Yassine Lakhnech

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 2

Top Venues

IACR Cryptol. ePrint Arch.

FPS

ESORICS

FoSSaCS

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Proofs of Block Cipher Modes of Operation. J. Autom. Reason. 56 (1) (2016)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theor. Comput. Sci. 612 (2016)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. EUROCRYPT (2) (2015)
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Reputation Protocols. FPS (2014)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
Automated Security Proofs for Almost-Universal Hash for MAC verification. IACR Cryptol. ePrint Arch. 2013 (2013)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Auction Protocols. POST (2013)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
Automated Security Proofs for Almost-Universal Hash for MAC Verification. ESORICS (2013)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS (2013)
Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech
Information flow control of component-based distributed systems. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks. FPS (2013)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin
Fully automated analysis of padding-based encryption in the computational model. CCS (2013)
Cristian Ene, Clémentine Gritti, Yassine Lakhnech
CIL Security Proof for a Password-Based Key Exchange. ProvSec (2013)
Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP (2012)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. ESORICS (2012)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automated Analysis and Synthesis of Padding-Based Encryption Schemes. IACR Cryptol. ePrint Arch. 2012 (2012)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
A formal taxonomy of privacy in voting protocols. ICC (2012)
Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech
Generic Indifferentiability Proofs of Hash Designs. CSF (2012)
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. Tech. Sci. Informatiques 31 (2) (2012)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS (2011)
Gilles Barthe, Mathilde Duclos, Yassine Lakhnech
A Computational Indistinguishability Logic for the Bounded Storage Model. FPS (2011)
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. CPP (2011)
Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin
Beyond Provable Security Verifiable IND-CCA Security of OAEP. CT-RSA (2011)
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech
Automating information flow control in component-based distributed systems. CBSE (2011)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. J. Autom. Reason. 46 (3-4) (2011)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS (2011)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech
Computational indistinguishability logic. CCS (2010)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness (2010)
Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte
On the Equality of Probabilistic Terms. LPAR (Dakar) (2010)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Security Proof for Symmetric Encryption Modes. ASIAN (2009)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Flat Parametric Counter Automata. Fundam. Informaticae 91 (2) (2009)
Cristian Ene, Yassine Lakhnech, Van Chan Ngo
Formal Indistinguishability Extended to the Random Oracle Model. ESORICS (2009)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Towards automated proofs for asymmetric encryption schemes in the random oracle model. CCS (2008)
Judicaël Courant, Cristian Ene, Yassine Lakhnech
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS (2007)
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO (2007)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electron. Notes Theor. Comput. Sci. 186 (2007)
Romain Janvier, Yassine Lakhnech, Michaël Périn
Certifying cryptographic protocols by abstract model-checking and proof concretization. SIGBED Rev. 3 (4) (2006)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Flat Parametric Counter Automata. ICALP (2) (2006)
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)
Liana Bozga, Yassine Lakhnech, Michaël Périn
Pattern-based abstraction for verifying secrecy in protocols. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Liana Bozga, Cristian Ene, Yassine Lakhnech
A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebraic Methods Program. 65 (1) (2005)
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. Embed. Comput. Syst. 4 (3) (2005)
Yassine Lakhnech, Laurent Mazaré
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. IACR Cryptol. ePrint Arch. 2005 (2005)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP (2005)
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
Automatic Verification of Security Properties Based on Abstractions. VISSAS (2005)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
(De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptol. ePrint Arch. 2005 (2005)
Yassine Lakhnech, Laurent Mazaré
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. IACR Cryptol. ePrint Arch. 2005 (2005)
Liana Bozga, Cristian Ene, Yassine Lakhnech
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS (2004)
Marius Bozga, Radu Iosif, Yassine Lakhnech
On Logics of Aliasing. SAS (2004)
Liana Bozga, Cristian Ene, Yassine Lakhnech
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR (2004)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Storeless semantics and alias logic. PEPM (2003)
Saddek Bensalem, Susanne Graf, Yassine Lakhnech
Abstraction as the Key for Invariant Verification. Verification: Theory and Practice (2003)
Liana Bozga, Yassine Lakhnech, Michaël Périn
Pattern-Based Abstraction for Verifying Secrecy in Protocols. TACAS (2003)
Liana Bozga, Yassine Lakhnech, Michaël Périn
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. CAV (2003)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI (2002)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating transducers. J. Log. Algebraic Methods Program. (2002)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verification of Parameterized Protocols. J. Univers. Comput. Sci. 7 (2) (2001)
Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
Analyzing Fair Parametric Extended Automata. SAS (2001)
Dennis Dams, Yassine Lakhnech, Martin Steffen
Iterating Transducers. CAV (2001)
Ralf Huuck, Ben Lukoschus, Yassine Lakhnech
Verifying Untimed and Timed Aspects of the Experimental Batch Plant. Eur. J. Control 7 (4) (2001)
Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
Incremental Verification by Abstraction. TACAS (2001)
Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
Networks of Processes with Parameterized State Space. Electron. Notes Theor. Comput. Sci. 50 (4) (2001)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verifying Universal Properties of Parameterized Networks. FTRTFT (2000)
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)
Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
Abstracting WS1S Systems to Verify Parameterized Networks. TACAS (2000)
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
A Transformational Approach for Generating Non-linear Invariants. SAS (2000)
Saddek Bensalem, Yassine Lakhnech
Automatic Generation of Invariants. Formal Methods Syst. Des. 15 (1) (1999)
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)
Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
Divide, Abstract, and Model-Check. SPIN (1999)
Saddek Bensalem, Yassine Lakhnech, Sam Owre
Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV (1998)
Saddek Bensalem, Yassine Lakhnech, Sam Owre
InVeST: A Tool for the Verification of Invariants. CAV (1998)
Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
Implementing Statecharts in PROMELA/SPIN. WIFT (1998)
Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif
Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification (1998)
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 Comput. Pract. Exp. 1 (2) (1998)
Erich Mikk, Yassine Lakhnech, Michael Siegel
Hierarchical Automata as Model for Statecharts. ASIAN (1997)
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)
Yassine Lakhnech, Michael Siegel
Deductive verification of stabilizing systems. WSS (1997)
Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
Powerful Techniques for the Automatic Generation of Invariants. CAV (1996)
Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
Model-Checking for Extended Timed Temporal Logics. FTRTFT (1996)
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)
Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana
From Duration Calculus To Linear Hybrid Automata. CAV (1995)
Ahmed Bouajjani, Yassine Lakhnech
Temporal Logic + Timed Automata: Expressiveness and Decidability. CONCUR (1995)
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)
Ahmed Bouajjani, Yassine Lakhnech
Logics vs. Automata: The Hybrid Case. Hybrid Systems (1995)
Yassine Lakhnech, Jozef Hooman
Metric Temporal Logic with Durations. Theor. Comput. Sci. 138 (1) (1995)
Yassine Lakhnech, Jozef Hooman
Reasoning about Durations in Metric Temporal Logic. FTRTFT (1994)
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)

Yassine Lakhnech.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yassine Lakhnech