Search - Archive ouverte HAL Access content directly

Filter your results

179 Results
Structure: Internal structure identifier : 490909
Image document

Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

Cédric Herzog , Valérie Viet Triem Tong , Pierre Wilke , Jean-Louis Lanet
C&ESAR 2020 - Computer & Electronics Security Applications Rendez-vous, Dec 2020, Rennes, France
Conference papers hal-03139240v1
Image document

Discovering Correlations: A Formal Definition of Causal Dependency Among Heterogeneous Events

Charles Xosanavongsa , Eric Totel , Olivier Bettan
EuroS&P 2019 : 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.340-355, ⟨10.1109/EuroSP.2019.00033⟩
Conference papers hal-02363431v1
Image document

Brief: Explicit and Tight Bounds of the Convergence Time of Average-based Population Protocols

Yves Mocquard , Bruno Sericola , Emmanuelle Anceaume
SIROCCO 2019 - 26th International Colloquium Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.1-4, ⟨10.1007/978-3-030-24922-9_29⟩
Conference papers hal-02380422v1
Image document

The complexity of unsupervised learning of lexicographic preferences

Hélène Fargier , Pierre-François Gimenez , Jérôme Mengin , Bao Ngoc Le Nguyen
MPREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling, Jul 2022, Vienne, Austria. pp.1-8
Conference papers hal-03784693v1
Image document

Forensic Analysis of Network Attacks: Restructuring Security Events as Graphs and Identifying Strongly Connected Sub-graphs

Laetitia Leichtnam , Eric Totel , Nicolas Prigent , Ludovic Mé
WTMC 2020: 5th International Workshop on Traffic Measurements for Cybersecurity and EuroS&PW 2020: IEEE European Symposium on Security and Privacy Workshops, Sep 2020, Genova, Italy. pp.1-9, ⟨10.1109/EuroSPW51379.2020.00083⟩
Conference papers hal-02950490v1
Image document

Information flows at OS level unmask sophisticated Android malware

Valérie Viet Triem Tong , Aurélien Trulla , Mourad Leslous , Jean-François Lalande
14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.578-585, ⟨10.5220/0006476705780585⟩
Conference papers hal-01535678v1
Image document

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification

Camille Le Bon , Erven Rohou , Frédéric Tronel , Guillaume Hiet
SILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩
Conference papers hal-03340008v1
Image document

Isolating malicious code in Android malware in the wild

Valérie Viet Triem Tong , Cédric Herzog , Tomás Concepción Miranda , Pierre Graux , Jean-François Lalande et al.
MALCON 2019 - 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
Conference papers hal-02288116v1

Classification of ransomwares using Artificial Neural Networks and Bayesian Networks

Noura Ourdi , Aurélien Palisse , Jean-Louis Lanet
Third International Conference on Intelligent Computing in Data Sciences, Nov 2019, Marrakech, Morocco
Conference papers hal-02416086v1
Image document

Alternatives to Binary Routing Policies Applied to a Military MANET Coalition

Florian Grandhomme , Gilles Guette , Adlen Ksentini , Thierry Plesse
IWCMC 2018 - 14th International Wireless Communications & Mobile Computing Conference, Jun 2018, Limassol, Cyprus. pp.1-6, ⟨10.1109/IWCMC.2018.8450393⟩
Conference papers hal-01851409v1

Sycomore, a Directed Acyclic Graph of Blocks

Emmanuelle Anceaume
The International Industrial & Academic Conference on Blockchain Technology - Chain-In, Jul 2018, Porto, Portugal
Conference papers hal-01888302v1
Image document

Abusing Android Runtime for Application Obfuscation

Pierre Graux , Jean-François Lalande , Pierre Wilke , Valérie Viet Triem Tong
SAD 2020 - Workshop on Software Attacks and Defenses, Sep 2020, Genova, Italy. pp.616-624, ⟨10.1109/EuroSPW51379.2020.00089⟩
Conference papers hal-02877815v1
Image document

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

Ronny Chevalier , Maugan Villatel , David Plaquin , Guillaume Hiet
ACSAC 2017 - 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩
Conference papers hal-01634566v1
Image document

Handling Bitcoin Conflicts Through a Glimpse of Structure

Thibaut Lajoie-Mazenc , Romaric Ludinard , Emmanuelle Anceaume
Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakesh, Morocco. ⟨10.1145/3019612.3019657⟩
Conference papers hal-01634368v1
Image document

Compiling Sandboxes: Formally Verified Software Fault Isolation

Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke et al.
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩
Conference papers hal-02316189v1
Image document

Sharing and replaying attack scenarios with Moirai

Guillaume Brogi , Valérie Viet Triem Tong
RESSI 2017: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Autrans, France
Conference papers hal-01533275v1
Image document

Stochastic Analysis of Average Based Distributed Algorithms

Yves Mocquard , Bruno Sericola , Frédérique Robin , Emmanuelle Anceaume
Journal of Applied Probability, 2021, 58 (2), pp.394 - 410. ⟨10.1017/jpr.2020.97⟩
Journal articles hal-02473856v1
Image document

Poster : Blockchain abstract data type

Emmanuelle Anceaume , Antonella del Pozzo , Romaric Ludinard , Maria Potop-Butucaru , Sara Tucci-Piergiovanni et al.
PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ACM, 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, pp.1-2, ⟨10.1145/3293883.3303705⟩
Poster communications hal-01988364v1
Image document

Cross-domain Alert Correlation methodology for Industrial Control Systems

Oualid Koucham , Stéphane Mocanu , Guillaume Hiet , Jean-Marc Thiriet , Frédéric Majorczyk et al.
Computers and Security, 2022, 118 (July), pp.102723. ⟨10.1016/j.cose.2022.102723⟩
Journal articles hal-03636549v1

Formalization of Blockchain Properties

Emmanuelle Anceaume , Antonio Fernández Anta , Chryssis Georgiou , Nicolas Nicolaou , Maria Potop-Butucaru et al.
Principles of Blockchain Systems, 2021
Book sections hal-03439073v1

Finding MNEMON: Reviving Memories of Node Embeddings

Yun Shen , Yufei Han , Zhikun Zhang , Min Chen , Ting Yu et al.
CCS 2022 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA, United States. pp.2643-2657, ⟨10.1145/3548606.3559358⟩
Conference papers hal-03893484v1
Image document

Blockchain abstract data type

Emmanuelle Anceaume , Antonella del Pozzo , Romaric Ludinard , Maria Potop-Butucaru , Sara Tucci-Piergiovanni et al.
[Research Report] Univ Rennes, CNRS, IRISA, France. 2019, pp.1-30
Reports hal-01718480v3
Image document

Ransomware Network Traffic Analysis for Pre-Encryption Alert

Routa Moussaileb , Nora Cuppens , Jean-Louis Lanet , Hélène Le Bouder
FPS 2019: 12th International Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France. ⟨10.1007/978-3-030-45371-8_2⟩
Conference papers hal-02313656v1
Image document

Connectivity Extraction in Cloud Infrastructures

Pernelle Mensah , Samuel Dubus , Wael Kanoun , Christine Morin , Guillaume Piolle et al.
2017 13th International Conference on Network and Service Management (CNSM), Nov 2017, Tokyo, Japan. pp.1-5, ⟨10.23919/cnsm.2017.8256010⟩
Conference papers hal-01593346v1
Image document

L'art d'extraire des éléments du top-k en temps réel sur des fenêtres glissantes réparties

Emmanuelle Anceaume , Yann Busnel , Vasile Cazacu
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Conference papers hal-02118367v2
Image document

Assessing the opportunity of combining state-of-the-art Android malware detectors

Nadia Daoudi , Kevin Allix , Tegawendé Bissyandé , Jacques Klein
Empirical Software Engineering, 2022, 28 (2), pp.22. ⟨10.1007/s10664-022-10249-9⟩
Journal articles hal-03925375v1
Image document

Distributed Ledger Register: From Safe to Atomic

Emmanuelle Anceaume , Marina Papatriantafilou , Maria Potop-Butucaru , Philippas Tsigas
Preprints, Working Papers, ... hal-02201472v1
Image document

Continuous-time stochastic analysis of rumor spreading with multiple operations

François Castella , Bruno Sericola , Emmanuelle Anceaume , Yves Mocquard
Preprints, Working Papers, ... hal-03681995v1
Image document

Byzantine Generalized Lattice Agreement

Giuseppe Antonio Di Luna , Emmanuelle Anceaume , Leonardo Querzoni
Proceedings of the 34th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2020, New Orleans, United States
Conference papers hal-02472207v1
Image document

Preventing Serialization Vulnerabilities through Transient Field Detection

Pierre Graux , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke
SAC 2021 - 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1-9
Conference papers hal-03066847v1