Borrello, Pietro; Fioraldi, Andrea; D'elia, Daniele Cono; Balzarotti, Davide; Querzoni, Leonardo; Giuffrida, Cristiano - 04b Atto di convegno in volume
conference: Usenix Network and Distributed System Security Symposium (San Diego, CA, USA)
book: Proceedings of the Network and Distributed System Security (NDSS) Symposium 2024 - ()
11573/1672065 - 2023 -
Where Did My Variable Go? Poking Holes in Incomplete Debug Information Assaiante, C.; D'elia, D. C.; Di Luna, G. A.; Querzoni, L. - 04b Atto di convegno in volume
conference: Architectural Support for Programming Languages and Operating Systems (can)
book: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS - (9781450399166)
D'elia, Daniele Cono; Nicchi, Simone; Mariani, Matteo; Marini, Matteo; Palmaro, Federico - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (IEEE Computer society New York) pp. 392-406 - issn: 1545-5971 - wos: WOS:000965206300001 (0) - scopus: 2-s2.0-85132742090 (3)
11573/1686965 - 2023 -
Uncontained: Uncovering Container Confusion in the Linux Kernel Koschel, Jakob; Borrello, Pietro; D'elia, Daniele Cono; Bos, Herbert; Giuffrida, Cristiano - 04b Atto di convegno in volume
conference: Usenix Security Symposium (Anaheim; United States)
book: Proceedings of the 32nd USENIX Security Symposium - (978-1-939133-37-3)
11573/1621135 - 2022 -
Evaluating Dynamic Binary Instrumentation Systems for Conspicuous Features and Artifacts D’Elia, Daniele Cono; Invidia, Lorenzo; Palmaro, Federico; Querzoni, Leonardo - 01a Articolo in rivista
paper: DIGITAL THREATS (New York NY: Association for Computing Machinery, [2020]-) pp. 1-13 - issn: 2692-1626 - wos: (0) - scopus: 2-s2.0-85133657913 (7)
11573/1665969 - 2022 -
Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection Priamo, Giacomo; D'elia, Daniele Cono; Querzoni, Leonardo - 04b Atto di convegno in volume
conference: Automated Software Engineering Conference (Rochester, MI, USA.)
book: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, - (9781450394758)
11573/1603661 - 2021 -
Constantine: automatic side-channel resistance using efficient control and data flow linearization Borrello, P.; D'elia, D. C.; Querzoni, L.; Giuffrida, C. - 04b Atto di convegno in volume
conference: ACM Conference on Computer and Communications Security (Virtual Event)
book: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security - (9781450384544)
11573/1557526 - 2021 -
Hiding in the particles: when return-oriented programming meets program obfuscation Borrello, Pietro; Coppa, Emilio; D'elia, Daniele Cono - 04b Atto di convegno in volume
conference: IEEE/IFIP International Conference on Dependable Systems and Networks (Virtual Event)
book: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - (978-1-6654-3572-7)
11573/1582497 - 2021 -
Rope: covert multi-process malware execution with return-oriented programming D'elia, D. C.; Invidia, L.; Querzoni, L. - 04b Atto di convegno in volume
conference: European Symposium On Research In Computer Security (Darmstadt; Germany)
book: ESORICS 2021 - 26th European Symposium on Research in Computer Security - (978-3-030-88417-8; 978-3-030-88418-5)
11573/1582505 - 2021 -
The use of likely invariants as feedback for fuzzers Fioraldi, A.; D'elia, D. C.; Balzarotti, D. - 04b Atto di convegno in volume
conference: Usenix Security Symposium (Virtual Event)
book: Proceedings of the 30th USENIX Security Symposium - (978-1-939133-24-3)
D'elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY (New York, N.Y.: IEEE, 2006-) pp. 2750-2765 - issn: 1556-6013 - wos: WOS:000522433500001 (19) - scopus: 2-s2.0-85082078852 (30)
11573/1499674 - 2020 -
WEIZZ: automatic grey-box fuzzing for structured binary formats Fioraldi, A.; D'elia, D. C.; Coppa, E. - 04b Atto di convegno in volume
conference: International Symposium on Software Testing and Analysis (Los Angeles; USA)
book: ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis - (9781450380089)
11573/1470329 - 2020 -
Fuzzing Binaries for Memory Safety Errors with QASan Fioraldi, A.; Delia, D. C.; Querzoni, L. - 04b Atto di convegno in volume
conference: 2020 IEEE Secure Development, SecDev 2020 (USA; Virtual, Atlanta)
book: 2020 IEEE Secure Development (SecDev) - (978-1-7281-8388-6)
11573/1325767 - 2019 -
SymNav: Visually Assisting Symbolic Execution Angelini, Marco; Blasilli, Graziano; Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Lenti, Simone; Nicchi, Simone; Santucci, Giuseppe - 04b Atto di convegno in volume
conference: 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) (Vancouver, Canada)
book: Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) - (978-172813876-3)
11573/1282932 - 2019 -
The ROP needle: Hiding trigger-based injection vectors via code reuse Borrello, P.; Coppa, E.; D'elia, D. C.; Demetrescu, C. - 04b Atto di convegno in volume
conference: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
book: SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - (9781450359337)
11573/1291915 - 2019 -
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 3rd International Symposium on Cyber Security Cryptography and Machine Learning (Beer-Sheva; Israel)
book: Cyber Security Cryptography and Machine Learning - (978-3-030-20950-6; 978-3-030-20951-3)
11573/1322678 - 2019 -
Memory Models in Symbolic Execution: Key Ideas and New Thoughts Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 01a Articolo in rivista
paper: SOFTWARE TESTING, VERIFICATION & RELIABILITY ([Chichester Sussex England]: John Wiley & Sons) pp. - - issn: 1099-1689 - wos: WOS:000527416800002 (9) - scopus: 2-s2.0-85076360817 (13)
D'elia, D. C.; Coppa, E.; Salvati, A.; Demetrescu, C. - 04b Atto di convegno in volume
conference: 12th European Workshop on Systems Security, EuroSec 2019 (Dresden; Germany)
book: EuroSec '19 Proceedings of the 12th European Workshop on Systems Security - (9781450362740)
11573/1282946 - 2019 -
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed) D'elia, Daniele Cono; Coppa, Emilio; Nicchi, Simone; Palmaro, Federico; Cavallaro, Lorenzo - 04b Atto di convegno in volume
conference: 14th ACM ASIA Conference on Computer and Communications Security (Auckland; New Zealand)
book: AsiaCCS '19 Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security - (9781450367523)
11573/1282978 - 2018 -
ROPMate: Visually Assisting the Creation of ROP-based Exploits Angelini, Marco; Blasilli, Graziano; Borrello, Pietro; Coppa, Emilio; D'elia, Daniele Cono; Ferracci, Serena; Lenti, Simone; Santucci, Giuseppe - 04b Atto di convegno in volume
conference: 15th IEEE Symposium on Visualization for Cyber Security (Berlin; Germany)
book: 2018 IEEE Symposium on Visualization for Cyber Security (VizSec) - (978-153868194-7)
Baldoni, Roberto; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: ACM COMPUTING SURVEYS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 0360-0300 - wos: WOS:000439723400007 (301) - scopus: 2-s2.0-85049585791 (428)
D'elia, Daniele Cono; Demetrescu, Camil - 04c Atto di convegno in rivista
paper: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 166-180 - issn: 1523-2867 - wos: WOS:000452469600012 (4) - scopus: 2-s2.0-85049561993 (14)
conference: 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (Philadelphia, PA; USA)
11573/1072972 - 2017 -
Assisting malware analysis with symbolic execution: A case study Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 1st International Conference on Cyber Security Cryptography and Machine Learning, CSCML 2017 (Beer-Sheva; Israel)
book: Cyber Security Cryptographyand Machine Learning - (978-3-319-60079-6; 978-3-319-60080-2)
11573/1072937 - 2017 -
Rethinking Pointer Reasoning in Symbolic Execution Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 32nd IEEE/ACM International Conference on Automated Software Engineering (Urbana, Illinois, USA)
book: ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering - (978-153862684-9; 978-1-5386-3976-4)
D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2016; Hotel Princesa SofiaBarcelona; Spain; 12 March 2016 through 18 March 2016; Code 119566 (Barcelona; Spain)
book: Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016 - (978-1-4503-3778-6)
11573/788263 - 2016 -
Mining Hot Calling Contexts in Small Space D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: SOFTWARE, PRACTICE AND EXPERIENCE (Chichester : John Wiley & Sons) pp. 1131-1152 - issn: 1097-024X - wos: WOS:000379912900006 (5) - scopus: 2-s2.0-84940883319 (9)
11573/536822 - 2013 -
Ball-larus path profiling across multiple loop iterations D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 2013 28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2013 (Indianapolis, Indiana, USA)
book: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - (9781450323741)
11573/377848 - 2011 -
Mining Hot Calling Contexts in Small Space D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
conference: 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'11 (San Jose, California, USA)
book: Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation - (9781450306638)