 |
 |
|
|
||
|---|---|---|
|
hal-01233555v1
Article dans une revue
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535> |
||
|
hal-00745247v3
Communication dans un congrès
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited Amr Youssef and Abderrahmane Nitaj and Aboul Ella Hassanien. Africacrypt 2013, Jun 2013, Le Caire, Egypt. Springer, 7918, pp.88-106, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38553-7_5> |
||
|
hal-00769449v1
Communication dans un congrès
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi. Benaloh's dense probabilistic encryption revisited Abderrahmane Nitaj, David Pointchebal. AFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. Springer, pp.348-362, 2011 |
||
|
hal-00769608v1
Communication dans un congrès
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray et al. SpaceEx: Scalable Verification of Hybrid Systems Ganesh Gopalakrishnan, Shaz Qadeer. CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. Springer, 6806, pp.379-395, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-22110-1_30> |
||
|
hal-00769527v1
Communication dans un congrès
Colas Le Guernic, Antoine Girard. Reachability Analysis of Hybrid Systems Using Support Functions Ahmed Bouajjani, Oded Maler. CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.540-554, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02658-4_40> |
||
|
hal-00765809v1
Chapitre d'ouvrage
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Outils pour l'analyse des modèles hybrides Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information |
||
|
hal-00765812v1
Chapitre d'ouvrage
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Tools for the Analysis of Hybrid Models Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8 |
||
|
hal-00769672v1
Communication dans un congrès
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations Supratik Chakraborty, Madhavan Mukund. ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. Springer, 7561, pp.137-151, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33386-6_12> |
||
|
hal-00988959v2
Communication dans un congrès
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant. Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance 13th European Control Conference (ECC 2014), Jun 2014, Strasbourg, France. IEEE, Proceedings of the 13th European Control Conference, pp.1468-1473, 2014, <10.1109/ECC.2014.6862273> |
||
|
hal-00307009v1
Communication dans un congrès
Antoine Girard, Colas Le Guernic. Efficient reachability analysis for linear systems using support functions IFAC World Congress, Jul 2008, Séoul, South Korea. IFAC, pp.8966-8971, 2008, <10.3182/20080706-5-KR-1001.0569> |
||
|
hal-00306993v1
Communication dans un congrès
Antoine Girard, Colas Le Guernic. Zonotope/hyperplane intersection for hybrid systems reachability analysis Magnus Egerstedt, Bud Mishra. HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. Springer, 4981, pp.215-228, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78929-1_16> |
||
|
hal-01344750v2
Communication dans un congrès
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations Pierangela Samarati. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Jul 2016, Lisbon, Portugal. pp.61-72, 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. <http://www.secrypt.icete.org/>. <10.5220/0005957200610072> |
||
|
hal-01497866v1
Pré-publication, Document de travail
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations * 2017 |
||
|
hal-00157475v1
Article dans une revue
Eugene Asarin, Thao Dang, Antoine Girard. Hybridization methods for the analysis of nonlinear systems Acta Informatica, Springer Verlag, 2007, 43 (7), pp.451-476. <10.1007/s00236-006-0035-7> |
||
|
hal-00765598v1
Article dans une revue
Colas Le Guernic, Antoine Girard. Reachability analysis of linear systems using support functions Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.250-262. <10.1016/j.nahs.2009.03.002> |
||
|
|
||
