327 results  save search

hal-01151960v1  Conference papers
Mathias HumbertKévin HugueninJoachim HugonotErman AydayJean-Pierre Hubaux. De-anonymizing Genomic Databases Using Phenotypic Traits
15th Privacy Enhancing Technologies Symposium (PETS), Jun 2015, Philadelphia, PA, United States. pp.99-114, ⟨10.1515/popets-2015-0020⟩
hal-00852244v1  Conference papers
Ivan StudniaVincent NicometteEric AlataYves DeswarteMohamed Kaâniche et al.  A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks
The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12
hal-01402565v1  Conference papers
Ning GeShin NakajimaMarc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing
4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4
hal-01327102v1  Conference papers
Mohammad ChamiJean-Michel Bruel. Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach
International Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
hal-00736947v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. Next place prediction using mobility Markov chains
MPM - EuroSys 2012 Workshop on Measurement, Privacy, and Mobility - 2012, Apr 2012, Bern, Switzerland
hal-00736944v1  Book sections
Yves DeswarteSébastien Gambs. The challenges raised by the privacy-preserving identity card
David Naccache. Cryptography and Security: From Theory to Applications, 6805, Springer, pp.383-404, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28368-0⟩
hal-00736950v1  Journal articles
Yves DeswarteSébastien Gambs. Cyber-attaques et cyber-défenses: problématique et évolution
La Revue de l'Electricité et de l'Electronique, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication, 2012, pp.23-35
hal-01592022v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe Quéinnec. Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp. 135-150
hal-01145209v1  Conference papers
Celia MartiniePhilippe Palanque. Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
AAAI 2014 Symposium on Formal Verification on Human-Machine Systems - 2014, Mar 2014, Palo Alto, United States. pp. 27-32
hal-01233221v1  Conference papers
Rahma Bouaziz. GRIMACE: GeneRIc MetAmodel for domain Component modElling.
14th European Workshop on Dependable Computing (EWDC 2013), May 2013, Coimbra, Portugal. pp. 181-184
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixMamoun Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
hal-01133701v1  Conference papers
Regina BernhauptMichael PirkerAntoine Desnos. The bubble user interface: a tangible representation of information to enhance the user experience in IPTV systems
ACM conference on Designing Interactive Systems - DIS 2014, Jun 2014, Vancouver, Canada. pp. 85-88
hal-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixMamoun Filali. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132
hal-01231769v1  Conference papers
Manuel GarnachoJean-Paul BodeveixMamoun Filali. A Mechanized Semantic Framework for Real-Time Systems
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120
inria-00556833v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. Show me how you move and I will tell you who you are
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩
inria-00556835v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. GEPETO: a GEoPrivacy-Enhancing TOolkit
Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩
hal-01156595v1  Conference papers
Gunter MussbacherDaniel AmyotRuth BreuJean-Michel BruelBetty Cheng et al.  The relevance of model-driven engineering thirty years from now
17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200
inria-00556839v1  Book sections
Sébastien GambsYves Deswarte. Protection de la vie privée: principes et technologies
Daniel Le Métayer. Les technologies de l'information au service des droits : opportunités, défis, limites, 32, Bruylant Bruxelles, 2010, Cahiers du Centre de Recherches Informatique et Droit (CRID), 978-2-8027-2960-0
hal-01771641v1  Master thesis
Récoules Frédéric. Security in the Internet of Things -- a LoRa study
Cryptography and Security [cs.CR]. 2016
tel-01524399v1  Habilitation à diriger des recherches
Romain Laborde. Contributions à la gestion de la sécurité des infrastructures virtuelles
Cryptographie et sécurité [cs.CR]. Université Toulouse 3 Paul Sabatier, 2016
hal-01419962v1  Conference papers
Benoît MorganEric AlataVincent NicometteMohamed Kaâniche. Bypassing IOMMU Protection against I/O Attacks
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩