Camil Demetrescu

Pubblicazioni

Titolo Pubblicato in Anno
Handling Memory-Intensive Operations in Symbolic Execution ISEC 2022: 15th Innovations in Software Engineering Conference 2022
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022
SymFusion: Hybrid Instrumentation for Concolic Execution Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) 2022
SENinja: A symbolic execution plugin for Binary Ninja SOFTWAREX 2022
On computer science research and its temporal evolution SCIENTOMETRICS 2022
Which Conference Is That? A Case Study in Computer Science ACM JOURNAL OF DATA AND INFORMATION QUALITY 2022
Fuzzing Symbolic Expressions 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) 2021
FUZZOLIC: Mixing fuzzing and concolic execution COMPUTERS & SECURITY 2021
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy SCIENTOMETRICS 2020
Are Italian research assessment exercises size-biased? SCIENTOMETRICS 2020
On the Shapley value and its application to the Italian VQR research assessment exercise JOURNAL OF INFORMETRICS 2019
Static analysis of ROP code EuroSec '19 Proceedings of the 12th European Workshop on Systems Security 2019
The ROP needle: Hiding trigger-based injection vectors via code reuse SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution Cyber Security Cryptography and Machine Learning 2019
Memory Models in Symbolic Execution: Key Ideas and New Thoughts SOFTWARE TESTING, VERIFICATION & RELIABILITY 2019
SymNav: Visually Assisting Symbolic Execution Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) 2019
A Survey of Symbolic Execution Techniques ACM COMPUTING SURVEYS 2018
On-stack replacement, distilled ACM SIGPLAN NOTICES 2018
Il Futuro della Cybersecurity in Italia: Ambiti Progettuali Strategici 2018
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study SCIENTOMETRICS 2018

ERC

  • PE6

KET

  • Big data & computing

Interessi di ricerca

  • Program analysis (cybersecurity, profiling, debugging, software visualization)
  • Algorithms and data structures
  • Experimental algorithmics
  • Bibliometrics

Keywords

declarative programming
Algorithms
Cyber security

Progetti di Ricerca

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma