1. APVRILLE Ludovic
  2. APVRILLE Ludovic
print

APVRILLE Ludovic

Conference

Eisl, Dominik; Herzog, Fabian; Dugelay, Jean-Luc; Apvrille, Ludovic; Rigoll, Gerhard

Introducing a framework for single-human tracking using event-based cameras

ICIP 2023, 30th IEEE International Conference on Image Processing, 8-11 October 2023, Kuala Lumpur, Malaysia
Detail
Document
DOI
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Evolving Attacker Perspectives for Secure Embedded System Design

MODELSWARD 2018, 6th International Conference on Model-Driven Engineering and Software Development, 22-24 January 2018, Funchal, Madeira, Portugal
Detail
Document
HAL
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Security modeling for embedded system design

GRAMSEC 2017, 4th International Workshop on Graphical Models for Security, co-located with CSF 2017, 21 August 2017, Santa Barbara, CA, United States / Also published in LNCS, Vol. 10744
Detail
DOI
HAL
BIBTEX

Conference

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

Security-aware modeling and analysis for HW/SW partitioning

MODELSWARD 2017, 5th International Conference on Model-Driven Engineering and Software Development, 19-21 February 2017, Porto, Portugal
Detail
Document
HAL
BIBTEX

Journal

Lugou, Florian; Apvrille, Ludovic; Francillon, Aurélien

SMASHUP: a toolchain for unified verification of hardware/software co-designs

Journal of Cryptographic Engineering, Special Section on Proofs, November 2016
Detail
Document
DOI
HAL
BIBTEX

Conference

Apvrille, Ludovic; Li, Letitia W; Roudier, Yves

Model-driven engineering for designing safe and secure embedded systems

ACVI 2016, IEEE Workshop on Architecture Centric Virtual Integration, 5-8 April 2016, Venice, Italy
Detail
Document
DOI
HAL
BIBTEX

Conference

Lugou, Florian; Li, Letitia W; Apvrille, Ludovic; Ameur, Rabea

SysML models and model transformation for security

MODELSWARD 2016, Conference on Model-Driven Engineering and Software Development, 19-21 February 2016, Rome, Italy
Detail
Document
HAL
BIBTEX

Conference

Lugou, Florian; Apvrille, Ludovic; Francillon, Aurélien

Toward a methodology for unified verification of hardware/software co-designs

PROOFS 2015, Security Proofs for Embedded Systems, 17 September 2015, Saint-Malo, France / To be published in Journal of Cryptographic Engineering (JCEN), Springer
Detail
Document
HAL
BIBTEX

Conference

Tanzi, Tullio Joseph; Roudier, Yves; Apvrille, Ludovic

Towards a new architecture for autonomous data collection

ISPRS 2015, International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XL-3/W3, 2015, ISPRS Geospatial Week 2015, 28 September-3 October 2015, La Grande Motte, France
Detail
Document
DOI
HAL
BIBTEX

Conference

Apvrille, Ludovic; Roudier, Yves

SysML-Sec attack graphs: Compact representations for complex attacks

GRAMSEC 2015, 2nd International Workshop on Graphical Models for Security, Co-located with CSF 2015, 13 July 2015, Verona, Italy / Also published in LNCS, Vol. 9390/2015
Detail
Document
DOI
HAL
BIBTEX