Filter your results
- 157
- 19
- 3
- 118
- 27
- 11
- 10
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 176
- 3
- 2
- 1
- 1
- 1
- 28
- 21
- 24
- 41
- 34
- 27
- 3
- 158
- 21
- 179
- 179
- 14
- 9
- 9
- 8
- 8
- 8
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 47
- 23
- 20
- 20
- 19
- 18
- 12
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesureC&ESAR 2020 - Computer & Electronics Security Applications Rendez-vous, Dec 2020, Rennes, France
Conference papers
hal-03139240v1
|
||
|
Discovering Correlations: A Formal Definition of Causal Dependency Among Heterogeneous EventsEuroS&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
|
||
|
Brief: Explicit and Tight Bounds of the Convergence Time of Average-based Population ProtocolsSIROCCO 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
|
||
|
The complexity of unsupervised learning of lexicographic preferencesMPREF 2022 - 13th Multidisciplinary Workshop on Advances in Preference Handling, Jul 2022, Vienne, Austria. pp.1-8
Conference papers
hal-03784693v1
|
||
|
Forensic Analysis of Network Attacks: Restructuring Security Events as Graphs and Identifying Strongly Connected Sub-graphsWTMC 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
|
||
|
Information flows at OS level unmask sophisticated Android malware14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.578-585, ⟨10.5220/0006476705780585⟩
Conference papers
hal-01535678v1
|
||
|
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary ModificationSILM 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
|
||
|
Isolating malicious code in Android malware in the wildMALCON 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 NetworksThird International Conference on Intelligent Computing in Data Sciences, Nov 2019, Marrakech, Morocco
Conference papers
hal-02416086v1
|
|||
|
Alternatives to Binary Routing Policies Applied to a Military MANET CoalitionIWCMC 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 BlocksThe International Industrial & Academic Conference on Blockchain Technology - Chain-In, Jul 2018, Porto, Portugal
Conference papers
hal-01888302v1
|
|||
|
Abusing Android Runtime for Application ObfuscationSAD 2020 - Workshop on Software Attacks and Defenses, Sep 2020, Genova, Italy. pp.616-624, ⟨10.1109/EuroSPW51379.2020.00089⟩
Conference papers
hal-02877815v1
|
||
|
Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management ModeACSAC 2017 - 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩
Conference papers
hal-01634566v1
|
||
|
Handling Bitcoin Conflicts Through a Glimpse of StructureProceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakesh, Morocco. ⟨10.1145/3019612.3019657⟩
Conference papers
hal-01634368v1
|
||
|
Compiling Sandboxes: Formally Verified Software Fault IsolationESOP 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
|
||
|
Sharing and replaying attack scenarios with MoiraiRESSI 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
|
||
|
Stochastic Analysis of Average Based Distributed AlgorithmsJournal of Applied Probability, 2021, 58 (2), pp.394 - 410. ⟨10.1017/jpr.2020.97⟩
Journal articles
hal-02473856v1
|
||
|
Poster : Blockchain abstract data typePPoPP 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
|
||
|
Cross-domain Alert Correlation methodology for Industrial Control SystemsComputers and Security, 2022, 118 (July), pp.102723. ⟨10.1016/j.cose.2022.102723⟩
Journal articles
hal-03636549v1
|
||
Formalization of Blockchain PropertiesPrinciples of Blockchain Systems, 2021
Book sections
hal-03439073v1
|
|||
|
Finding MNEMON: Reviving Memories of Node EmbeddingsCCS 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
|
||
|
Blockchain abstract data type[Research Report] Univ Rennes, CNRS, IRISA, France. 2019, pp.1-30
Reports
hal-01718480v3
|
||
|
Ransomware Network Traffic Analysis for Pre-Encryption AlertFPS 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
|
||
|
Connectivity Extraction in Cloud Infrastructures2017 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
|
||
|
L'art d'extraire des éléments du top-k en temps réel sur des fenêtres glissantes répartiesALGOTEL 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
|
||
|
Assessing the opportunity of combining state-of-the-art Android malware detectorsEmpirical Software Engineering, 2022, 28 (2), pp.22. ⟨10.1007/s10664-022-10249-9⟩
Journal articles
hal-03925375v1
|
||
|
Distributed Ledger Register: From Safe to Atomic2019
Preprints, Working Papers, ...
hal-02201472v1
|
||
|
Continuous-time stochastic analysis of rumor spreading with multiple operations2022
Preprints, Working Papers, ...
hal-03681995v1
|
||
|
Byzantine Generalized Lattice AgreementProceedings of the 34th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2020, New Orleans, United States
Conference papers
hal-02472207v1
|
||
|
Preventing Serialization Vulnerabilities through Transient Field DetectionSAC 2021 - 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1-9
Conference papers
hal-03066847v1
|