Yves Roudier

Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis — France

Computer Science · Physical Sciences

19h-index1.4kcitations103works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Security and Verification in Computing(21), Access Control and Trust(19), Cloud Data Security Solutions(16), Information and Cyber Security(15), Peer-to-Peer Network Technologies(14)

Publications102 total

Impacts of EU regulations on Digital Identity Wallets
SPIRE - Sciences Po Institutional REpository·2024Open Access
Framework for the Formal Specification and Verification of Security Guidelines
HAL (Le Centre pour la Communication Scientifique Directe)·2018
Framework for the Formal Specification and Verification of Security Guidelines
Advances in Science Technology and Engineering Systems Journal·2018· 4 citedOpen Access
Formal specification of security guidelines for program certification
2017· 1 cited
Drone "humanitaire" : état de l'art et réflexions
Revue Française de Photogrammétrie et de Télédétection·2017· 6 citedOpen Access
A State of the Art of Drone (In)Security
HAL (Le Centre pour la Communication Scientifique Directe)·2017· 2 cited
Tracking Dependent Information Flows
2017· 3 citedOpen Access
Formal Specification and Verification of Security Guidelines
2017· 7 cited
A risk assessment model for selecting cloud service providers
Journal of Cloud Computing Advances Systems and Applications·2016· 57 citedOpen Access
Security Guidelines: Requirements Engineering for Verifying Code Quality
2016· 4 cited
Model-Driven Engineering for Designing Safe and Secure Embedded Systems
2016· 13 cited
Post-Disaster Robotic System: Architectural and Energetic aspects
HAL (Le Centre pour la Communication Scientifique Directe)·2016
セキュリティガイドライン:検証コード品質のための要求工学【Powered by NICT】
IEEE Conference Proceedings·2016
Additional file 1 of A risk assessment model for selecting cloud service providers
Figshare·2016· 1 citedOpen Access
Additional file 2 of A risk assessment model for selecting cloud service providers
Figshare·2016Open Access
SysML-Sec Attack Graphs: Compact Representations for Complex Attacks
Lecture notes in computer science·2016· 16 cited
TOWARDS A NEW ARCHITECTURE FOR AUTONOMOUS DATA COLLECTION
˜The œinternational archives of the photogrammetry, remote sensing and spatial information sciences/International archives of the photogrammetry, remote sensing and spatial information sciences·2015· 7 citedOpen Access
Autonomous drones for disasters management: Safety and security verifications
2015· 29 cited
Security for vehicular DTNs
Graduate School and Research Center in Digital Science (EURECOM)·2015
Data security and privacy - Threats model and state of the art
Graduate School and Research Center in Digital Science (EURECOM)·2015
page 1 of 6Next →

Frequent Co-authors

Ludovic Apvrille(13), Laurent Bussard(7), Nouha Oualha(7), Muhammad Idrees(5), Matteo Dell’Amico(3), Pietro Michiardi(3), Olaf Henniger(3), Benjamin Weyl(3), Hendrik Schweppe(3), Anderson Santana de Oliveira(3), Tullio Joseph Tanzi(3), Refik Molva(3), Slim Trabelsi(3), Mohammad Ashiqur Rahaman(3), Andreas Schaad(3), Alastair R. Ruddle(2), Dirk Scheuermann(2), Erdal Çayırcı(2), Alexandr Garaga(2), Gabriel Serme(2)