Yassine Lakhnech

According to our database, Yassine Lakhnech authored at least 84 papers between 1992 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

On the existence and decidability of unique decompositions of processes in the applied π-calculus.

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Theor. Comput. Sci., 2016

Automated Proofs of Block Cipher Modes of Operation.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

J. Autom. Reason., 2016

2015

Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols.

Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt

IACR Cryptol. ePrint Arch., 2015

2014

Formal Verification of e-Reputation Protocols.

Ali Kassem, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

2013

Automated Security Proofs for Almost-Universal Hash for MAC verification.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech

IACR Cryptol. ePrint Arch., 2013

Information flow control of component-based distributed systems.

Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech

Concurr. Comput. Pract. Exp., 2013

CIL Security Proof for a Password-Based Key Exchange.

Cristian Ene, Clémentine Gritti, Yassine Lakhnech

Proceedings of the Provable Security - 7th International Conference, 2013

Formal Verification of e-Auction Protocols.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks.

Ali Kassem, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

On Unique Decomposition of Processes in the Applied π-Calculus.

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Fully automated analysis of padding-based encryption in the computational model.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information.

Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech, Riadh Robbana

Tech. Sci. Informatiques, 2012

Automated Analysis and Synthesis of Padding-Based Encryption Schemes.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

A formal taxonomy of privacy in voting protocols.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech

Proceedings of IEEE International Conference on Communications, 2012

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Computer Security - ESORICS 2012, 2012

Generic Indifferentiability Proofs of Hash Designs.

Marion Daubignard, Pierre-Alain Fouque, Yassine Lakhnech

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.

Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Automated Proofs for Asymmetric Encryption.

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

J. Autom. Reason., 2011

Automated Verification of Block Cipher Modes of Operation, an Improved Method.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

Proceedings of the Foundations and Practice of Security, 2011

Vote-Independence: A Powerful Privacy Notion for Voting Protocols.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security, 2011

A Computational Indistinguishability Logic for the Bounded Storage Model.

Gilles Barthe, Mathilde Duclos, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security, 2011

Beyond Provable Security Verifiable IND-CCA Security of OAEP.

Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin

Proceedings of the Topics in Cryptology - CT-RSA 2011, 2011

Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.

Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Automating information flow control in component-based distributed systems.

Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

Computational Soundness - The Case of Diffie-Hellman Keys.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

On the Equality of Probabilistic Terms.

Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Computational indistinguishability logic.

Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Flat Parametric Counter Automata.

Marius Bozga, Radu Iosif, Yassine Lakhnech

Fundam. Informaticae, 2009

Formal Indistinguishability Extended to the Random Oracle Model.

Cristian Ene, Yassine Lakhnech, Van Chan Ngo

Proceedings of the Computer Security, 2009

Automated Security Proof for Symmetric Encryption Modes.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

Proceedings of the Advances in Computer Science, 2009

2008

Towards automated proofs for asymmetric encryption schemes in the random oracle model.

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.

Judicaël Courant, Cristian Ene, Yassine Lakhnech

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Advances in Cryptology, 2007

2006

Pattern-based abstraction for verifying secrecy in protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Int. J. Softw. Tools Technol. Transf., 2006

Certifying cryptographic protocols by abstract model-checking and proof concretization.

Romain Janvier, Yassine Lakhnech, Michaël Périn

SIGBED Rev., 2006

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the First Workshop in Information and Computer Security, 2006

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.

Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

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

ACM Trans. Embed. Comput. Syst., 2005

A symbolic decision procedure for cryptographic protocols with time stamps.

Liana Bozga, Cristian Ene, Yassine Lakhnech

J. Log. Algebraic Methods Program., 2005

Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme.

Yassine Lakhnech, Laurent Mazaré

IACR Cryptol. ePrint Arch., 2005

Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation.

Yassine Lakhnech, Laurent Mazaré

IACR Cryptol. ePrint Arch., 2005

(De)Compositions of Cryptographic Schemes and their Applications to Protocols.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

IACR Cryptol. ePrint Arch., 2005

Automatic Verification of Security Properties Based on Abstractions.

Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Programming Languages and Systems, 2005

2004

On Logics of Aliasing.

Marius Bozga, Radu Iosif, Yassine Lakhnech

Proceedings of the Static Analysis, 11th International Symposium, 2004

On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.

Liana Bozga, Cristian Ene, Yassine Lakhnech

Proceedings of the Foundations of Software Science and Computation Structures, 2004

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).

Liana Bozga, Cristian Ene, Yassine Lakhnech

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Storeless semantics and alias logic.

Marius Bozga, Radu Iosif, Yassine Lakhnech

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Abstraction as the Key for Invariant Verification.

Saddek Bensalem, Susanne Graf, Yassine Lakhnech

Proceedings of the Verification: Theory and Practice, 2003

2002

Iterating transducers.

Dennis Dams, Yassine Lakhnech, Martin Steffen

J. Log. Algebraic Methods Program., 2002

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Verification, 2002

2001

Verification of Parameterized Protocols.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

J. Univers. Comput. Sci., 2001

Networks of Processes with Parameterized State Space.

Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech

Proceedings of the Verification of Parameterized Systems, 2001

Verifying Untimed and Timed Aspects of the Experimental Batch Plant.

Ralf Huuck, Ben Lukoschus, Yassine Lakhnech

Eur. J. Control, 2001

Incremental Verification by Abstraction.

Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Analyzing Fair Parametric Extended Automata.

Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu

Proceedings of the Static Analysis, 8th International Symposium, 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Transformational Approach for Generating Non-linear Invariants.

Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech

Proceedings of the Static Analysis, 7th International Symposium, 2000

Verifying Universal Properties of Parameterized Networks.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

Automatic Generation of Invariants.

Saddek Bensalem, Yassine Lakhnech

Formal Methods Syst. Des., 1999

Divide, Abstract, and Model-Check.

Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Parallel Distributed Comput. Pract., 1998

Implementing Statecharts in PROMELA/SPIN.

Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Formal Methods and Tools: Introduction and Overview.

Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif

Proceedings of the International Workshop Tool Support for System Specification, 1998

InVeST: A Tool for the Verification of Invariants.

Saddek Bensalem, Yassine Lakhnech, Sam Owre

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Computing Abstractions of Infinite State Systems Compositionally and Automatically.

Saddek Bensalem, Yassine Lakhnech, Sam Owre

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Deductive verification of stabilizing systems.

Yassine Lakhnech, Michael Siegel

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Comparing Timed C/E Systems with Timed Automata (Abstract).

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Proceedings of the Hybrid and Real-Time Systems, 1997

Hierarchical Automata as Model for Statecharts.

Erich Mikk, Yassine Lakhnech, Michael Siegel

Proceedings of the Advances in Computing Science, 1997

1996

Specification and verification of hybrid and real time systems.

Yassine Lakhnech

PhD thesis, 1996

Model-Checking for Extended Timed Temporal Logics.

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Powerful Techniques for the Automatic Generation of Invariants.

Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Metric Temporal Logic with Durations.

Yassine Lakhnech, Jozef Hooman

Theor. Comput. Sci., 1995

Logics vs. Automata: The Hybrid Case.

Ahmed Bouajjani, Yassine Lakhnech

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Temporal Logic + Timed Automata: Expressiveness and Decidability.

Ahmed Bouajjani, Yassine Lakhnech

Proceedings of the CONCUR '95: Concurrency Theory, 1995

From Duration Calculus To Linear Hybrid Automata.

Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana

Proceedings of the Computer Aided Verification, 1995

1994

Reasoning about Durations in Metric Temporal Logic.

Yassine Lakhnech, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992

Provably Correct Compiler Development and Implementation.

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm

Proceedings of the Compiler Construction, 1992