SLA Definition for Network Intrusion Detection Systems in IaaS Clouds

Autor: Christine Morin, Louis Rilling, Amir Teshome Wonjiga

Publikováno v: SAC 2021-36th ACM/SIGAPP Symposium on Applied Computing
SAC 2021-36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea., South Korea. pp.1-10, ⟨10.1145/3412841.3441885⟩
SAC

International audience; Migrating to the cloud results in losing full control of the physical infrastructure as the cloud service provider (CSP) is responsible for managing the infrastructure including its security. To solve the trust issue that this

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ebedfbe2c80b9223f0d384baed2907a9
https://inria.hal.science/hal-03085554

Extraction automatisée de mot-clés de vulnérabilités « One-day » à leur divulgation

Autor: Clément Elbaz, Christine Morin, Louis Rilling

Publikováno v: NOMS 2020-IEEE/IFIP Network Operations and Management Symposium
NOMS 2020-IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9
NOMS 2020-IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
[Research Report] RR-9299, Inria Rennes-Bretagne Atlantique. 2019, pp.1-22
NOMS

Common Vulnerabilities and Exposures (CVE) databases such as Mitre’s CVE List and NIST’s NVD database identify every disclosed vulnerability affecting any public software. However, during the early hours of a vulnerability disclosure, the metadat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8581f99c8765b15b2be523bde4294a7
https://hal.inria.fr/hal-02506364/file/HAL_automated_keyword_extraction_from_one_day_vulnerabilities_at_disclosure.pdf

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

Autor: Virgile Robles, Pascale Le Gall, Nikolai Kosmatov, Louis Rilling, Virgile Prevosto

Publikováno v: Tests and Proofs ISBN: 9783030311568
TAP@FM
International Conference on Tests and Proofs (TAP)
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Tests and Proofs-13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tests and Proofs

International audience; A common way to specify software properties is to associate a contract to each function, allowing the use of various techniques to assess (e.g. to prove or to test) that the implementation is valid with respect to these contra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85a5d1398e1bc67ae494ebcf0012b2a3
https://doi.org/10.1007/978-3-030-31157-5_11

MetAcsl: Specification and Verification of High-Level Properties

Autor: Virgile Prevosto, Virgile Robles, Pascale Le Gall, Nikolai Kosmatov, Louis Rilling

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2019
TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩

Modular deductive verification is a powerful technique capable to show that each function in a program satisfies its contract. However, function contracts do not provide a global view of which high-level (e.g. security-related properties of a whole s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbd66063c304b523908d53d23e3261ad
http://arxiv.org/abs/1811.10509

Towards Enforcement of the EU GDPR: Enabling Data Erasure

Autor: Subhadeep Sarkar, Louis Rilling, Jean-Pierre Banatre, Christine Morin

Publikováno v: iThings 2018-11th IEEE International Conference of Internet of Things
iThings 2018-11th IEEE International Conference of Internet of Things, Jul 2018, Halifax, Canada. pp.1-8
iThings/GreenCom/CPSCom/SmartData

International audience; With the emergence of the Internet of Things (IoT),an increasing need for preserving the privacy of personal datahas been realized. In this context, the EU has recently publishedthe general data protection regulation (GDPR), w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::162cfcfec4d0f99f31a9a1d4dc4d6036
https://hal.inria.fr/hal-01824058/document