Yves Roudier

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 5

Top Topics

Security Requirements

Information Flows

Top Venues

J. Cloud Comput.

COMPSAC Workshops

Publications

Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal Specification and Verification of Security Guidelines. PRDC (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa, Takoua Kechiche, Stuart Short
Tracking Dependent Information Flows. ICISSP (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal specification of security guidelines for program certification. TASE (2017)
Erdal Cayirci, Alexandr Garaga, Anderson Santana de Oliveira, Yves Roudier
A risk assessment model for selecting cloud service providers. J. Cloud Comput. 5 (2016)
Zeineb Zhioua, Yves Roudier, Stuart Short, Rabéa Ameur-Boulifa
Security Guidelines: Requirements Engineering for Verifying Code Quality. RE Workshops (2016)
Matteo Dell'Amico, Maurizio Filippone, Pietro Michiardi, Yves Roudier
On User Availability Prediction and Network Applications. IEEE/ACM Trans. Netw. 23 (4) (2015)
Ludovic Apvrille, Yves Roudier
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. MODELSWARD (Revised Selected Papers) (2015)
Yves Roudier, Ludovic Apvrille
SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems. MODELSWARD (2015)
Ludovic Apvrille, Yves Roudier
SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. GraMSec@CSF (2015)
Erdal Cayirci, Alexandr Garaga, Anderson Santana, Yves Roudier
A Cloud Adoption Risk Assessment Model. UCC (2014)
Samuel Paul Kaluvuri, Michele Bezzi, Yves Roudier
A Quantitative Analysis of Common Criteria Certification Practice. TrustBus (2014)
Zeineb Zhioua, Stuart Short, Yves Roudier
Static Code Analysis for Software Security Verification: Problems and Approaches. COMPSAC Workshops (2014)
Matteo Dell'Amico, Maurizio Filippone, Pietro Michiardi, Yves Roudier
On User Availability Prediction and Network Applications. CoRR (2014)
Ludovic Apvrille, Yves Roudier
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. GraMSec (2014)
Tullio Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier
UAVs for humanitarian missions: Autonomy and reliability. GHTC (2014)
Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille
Model the System from Adversary Viewpoint: Threats Identification and Modeling. AIDP (2014)
Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille
Towards the model-driven engineering of security requirements for embedded systems. MoDRE (2013)
Matteo Dell'Amico, Gabriel Serme, Muhammad Sabir Idrees, Anderson Santana de Oliveira, Yves Roudier
HiPoLDS: A Hierarchical Security Policy Language for Distributed Systems. Inf. Secur. Tech. Rep. 17 (3) (2013)
Samuel Paul Kaluvuri, Michele Bezzi, Yves Roudier
Bringing Common Criteria Certification to Web Services. SERVICES (2013)
Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
Reference Monitors for Security and Interoperability in OAuth 2.0. DPM/SETOP (2013)
Nouha Oualha, Jean Leneutre, Yves Roudier
Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols. Peer-to-Peer Netw. Appl. 5 (3) (2012)
Gabriel Serme, Anderson Santana de Oliveira, Julien Massiera, Yves Roudier
Enabling Message Security for RESTful Services. ICWS (2012)
Muhammad Sabir Idrees, Yves Roudier
Effective and Efficient Security Policy Engines for Automotive On-Board Networks. Nets4Cars/Nets4Trains (2012)
Matteo Dell'Amico, Gabriel Serme, Muhammad Sabir Idrees, Anderson Santana de Oliveira, Yves Roudier
HiPoLDS: A Security Policy Language for Distributed Systems. WISTP (2012)
Muhammad Sabir Idrees, Hendrik Schweppe, Yves Roudier, Marko Wolf, Dirk Scheuermann, Olaf Henniger
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates. Nets4Cars/Nets4Trains (2011)
Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann
Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography. VTC Fall (2011)
Muhammad Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. DPM/SETOP (2011)
Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall (2011)
Nouha Oualha, Melek Önen, Yves Roudier
Secure P2P Data Storage and Maintenance. Int. J. Digit. Multim. Broadcast. 2010 (2010)
Matteo Dell'Amico, Pietro Michiardi, Yves Roudier
Back To The Future: On Predicting User Uptime CoRR (2010)
Matteo Dell'Amico, Pietro Michiardi, Yves Roudier
Password Strength: An Empirical Analysis. INFOCOM (2010)
Nouha Oualha, Yves Roudier
Securing P2P Storage with a Self-organizing Payment Scheme. DPM/SETOP (2010)
Mohammad Ashiqur Rahaman, Henrik Plate, Yves Roudier, Andreas Schaad
Towards Secure Content Based Dissemination of XML Documents. IAS (2009)
Matteo Dell'Amico, Pietro Michiardi, Yves Roudier
Measuring Password Strength: An Empirical Analysis CoRR (2009)
Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad
Document-Based Dynamic Workflows: Towards Flexible and Stateful Services. SERVICES II (2009)
Nouha Oualha, Yves Roudier
A Game Theoretical Approach in Securing P2P Storage against Whitewashers. WETICE (2009)
Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad
A Secure Comparison Technique for Tree Structured Data. ICIW (2009)
Mohammad Ashiqur Rahaman, Yves Roudier, Philip Miseldine, Andreas Schaad
Ontology-Based Secure XML Content Distribution. SEC (2009)
Nouha Oualha, Melek Önen, Yves Roudier
A Security Protocol for Self-Organizing Data Storage. SEC (2008)
Nouha Oualha, Yves Roudier
Securing Ad Hoc Storage through Probabilistic Cooperation Assessment. Electron. Notes Theor. Comput. Sci. 192 (2) (2008)
Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad
Distributed Access Control For XML Document Centric Collaborations. EDOC (2008)
Nouha Oualha, Yves Roudier
Reputation and Audits for Self-Organizing Storage. SecureComm (2008)
Matija Puzar, Thomas Plagemann, Yves Roudier
Security and privacy issues in middleware for emergency and rescue applications. PervasiveHealth (2008)
Slim Trabelsi, Guillaume Urvoy-Keller, Yves Roudier
On the Impact of DoS Attacks on Secure Service Discovery. EUC (2) (2008)
Nouha Oualha, Yves Roudier
Validating Peer-to-Peer Storage Audits with Evolutionary Game Theory. IWSOS (2008)
Slim Trabelsi, Laurent Gomez, Yves Roudier
Context-Aware Security Policy for the Service Discovery. AINA Workshops (1) (2007)
Slim Trabelsi, Yves Roudier
Secure Service Publishing with Untrusted Registries - Securing Service Discovery. SECRYPT (2007)
Nouha Oualha, Pietro Michiardi, Yves Roudier
A Game Theoretic Model of a Protocol for Data Possession Verification. WOWMOM (2007)
Slim Trabelsi, Jean-Christophe R. Pazzaglia, Yves Roudier
Enabling Secure Discovery in a Pervasive Environment. SPC (2006)
Slim Trabelsi, Jean-Christophe R. Pazzaglia, Yves Roudier
Secure Web Service Discovery: Overcoming Challenges of Ubiquitous Computing. ECOWS (2006)
Matija Puzar, Jon Andersson, Thomas Plagemann, Yves Roudier
SKiMPy: A Simple Key Management Protocol for MANETs in Emergency and Rescue Operations. ESAS (2005)
Thomas Walter, Laurent Bussard, Yves Roudier, Jochen Haller, Roger Kilian-Kehr, Joachim Posegga, Philip Robinson
Secure mobile business applications - framework, architecture and implementation. Inf. Secur. Tech. Rep. 9 (4) (2004)
Laurent Bussard, Refik Molva, Yves Roudier
History-Based Signature or How to Trust Anonymous Documents. iTrust (2004)
Laurent Bussard, Yves Roudier, Refik Molva
Untraceable Secret Credentials: Trust Establishment with Privacy. PerCom Workshops (2004)
Thomas Walter, Laurent Bussard, Philip Robinson, Yves Roudier
Security and Trust Issues in Ubiquitous Environments - The Business-to-Employee Dimension. SAINT Workshops (2004)
Marc-Olivier Killijian, David Powell, Michel Banâtre, Paul Couderc, Yves Roudier
Collaborative backup for dependable mobile applications. Middleware for Pervasive and Ad-hoc Computing (2004)
Laurent Bussard, Yves Roudier, Roger Kilian-Kehr, Stefano Crosta
Trust and Authorization in Pervasive B2E Scenarios. ISC (2003)
Laurent Bussard, Yves Roudier
Embedding Distance-Bounding Protocols within Intuitive Interactions. SPC (2003)
Yves Roudier, Olivier Fouache, Pierre Vannel, Refik Molva
Enabling adaptive and secure extranets. Communications and Multimedia Security (2002)
Sergio Loureiro, Laurent Bussard, Yves Roudier
Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. CARDIS (2002)
Refik Molva, Yves Roudier
A Distributed Access Control Model for Java. ESORICS (2000)
Yuuji Ichisugi, Yves Roudier
The Extensible Java Preprocessor Kit and a Tiny Data-Parallel Java. ISCOPE (1997)
Françoise Baude, Fabrice Belloncle, Denis Caromel, Nathalie Furmento, Yves Roudier, Philippe Mussi, Günther Siegel
Parallel Object-Oriented Programming for Parallel Simulations. Inf. Sci. 93 (1) (1996)
Denis Caromel, Yves Roudier
Reactive Programming in Eiffel//. OBPDC (1995)