Author of the publication

Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement.

, , , , , , , and . ESORICS (2), volume 11736 of Lecture Notes in Computer Science, page 239-262. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proactively Extracting IoT Device Capabilities: An Application to Smart Homes., , and . DBSec, volume 12122 of Lecture Notes in Computer Science, page 42-63. Springer, (2020)Towards an Attention-Based Accurate Intrusion Detection Approach., , , and . QSHINE, volume 402 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 261-279. Springer, (2021)User-Level Runtime Security Auditing for the Cloud., , , , , , and . IEEE Trans. Inf. Forensics Secur., 13 (5): 1185-1199 (2018)ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack., , , , , , , and . ACM Trans. Priv. Secur., 22 (1): 1:1-1:35 (2019)Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack., , , , , , and . ESORICS (1), volume 9878 of Lecture Notes in Computer Science, page 47-66. Springer, (2016)On Continuously Verifying Device-level Functional Integrity by Monitoring Correlated Smart Home Devices., , , and . WISEC, page 219-230. ACM, (2024)ProSAS: Proactive Security Auditing System for Clouds., , , , , , , and . IEEE Trans. Dependable Secur. Comput., 19 (4): 2517-2534 (2022)Security Auditing of Internet of Things Devices in a Smart Home., , and . IFIP Int. Conf. Digital Forensics, volume 612 of IFIP Advances in Information and Communication Technology, page 213-234. Springer, (2021)Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack., , , , , and . CODASPY, page 195-206. ACM, (2016)Learning probabilistic dependencies among events for proactive security auditing in clouds., , , , , , , and . J. Comput. Secur., 27 (2): 165-202 (2019)