Pubblicazioni di Demetrescu Camil

2022

Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Handling Memory-Intensive Operations in Symbolic Execution. ISEC 2022: 15th Innovations in Software Engineering Conference 2022: -

Demetrescu C., Finocchi I., Ribichini A., Schaerf M.
Borzacchiello L., Coppa E., Maiorca D., Columbu A., Demetrescu C., Giacinto G.
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: 701-722

Borzacchiello L., Coppa E., Demetrescu C.
Coppa Emilio, Yin Heng, Demetrescu Camil
SymFusion: Hybrid Instrumentation for Concolic Execution. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) 2022: -

Demetrescu C., Finocchi I., Ribichini A., Schaerf M.
Which Conference Is That? A Case Study in Computer Science. ACM JOURNAL OF DATA AND INFORMATION QUALITY 2022: 1-13

2021

Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Fuzzing Symbolic Expressions. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) 2021: 711-722

Borzacchiello L., Coppa E., Demetrescu C.

2020

Demetrescu C., Ribichini A., Schaerf M.
Demetrescu Camil, Finocchi Irene, Ribichini Andrea, Schaerf Marco

2019

Borzacchiello Luca, Coppa Emilio, D'Elia DANIELE CONO, Demetrescu Camil
Memory Models in Symbolic Execution: Key Ideas and New Thoughts. SOFTWARE TESTING, VERIFICATION & RELIABILITY 2019: -

Demetrescu Camil, Lupia Francesco, Mendicelli Angelo, Ribichini Andrea, Scarcello Francesco, Schaerf Marco
Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. Cyber Security Cryptography and Machine Learning 2019: 121-140

D'Elia D. C., Coppa E., Salvati A., Demetrescu C.
Static analysis of ROP code. EuroSec '19 Proceedings of the 12th European Workshop on Systems Security 2019: -

Angelini Marco, Blasilli Graziano, Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Lenti Simone, Nicchi Simone, Santucci Giuseppe
SymNav: Visually Assisting Symbolic Execution. Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) 2019: -

Borrello P., Coppa E., D'Elia D. C., Demetrescu C.
The ROP needle: Hiding trigger-based injection vectors via code reuse. SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019: 1962-1970

2018

Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene
A Survey of Symbolic Execution Techniques. ACM COMPUTING SURVEYS 2018: -

Demetrescu Camil, Ribichini Andrea, Schaerf Marco
Baldoni Roberto, De Nicola Rocco, Prinetto Paolo, Anglano COSIMO FILOMENO, Aniello Leonardo, Antinori Arije, Armando Alessandro, Aversa Rocco, Baldi Marco, Barili Antonio, Bartoletti Massimo, Basile Basile, Bellini Marco, Bergadano Francesco, Bernardeschi Cinzia, Bertino , Elisa Bianchi, Giuseppe , Biancotti Claudia, Bistarelli Stefano, Blefari Melazzi Nicola, Boetti Milena, Bondavalli Andrea, Bonomi Silvia, Buccafurri Francesco, Cambiaso Enrico, Caputo Barbara, Carminati Barbara, Cataliotti Francesco Saverio, Catarci Tiziana, Ceccarelli Andrea, Cesa Bianchi Nicolò, Chiaraluce Franco, Colajanni Michele, Conti Marco, Conti Mauro, Coppolino Luigi, Costa Gabriele, Costamagna Valerio, Cotroneo Domenico, Crispo Bruno, Cucchiara Rita, D’Antonio Salvatore, Damiani Ernesto, De Nicola Rocco, De Santis Alfredo, Di Battista Giuseppe, Di Martino Beniamino, Degiovanni Ivo Pietro, Demetrescu Camil, Di Corinto Arturo, Di Luna Antonio, Di Natale Giorgio, Dini Gianluca, Evangelisti Marco, Falcinelli Daniela, Figà Gianna, Ferretti Marco, Ficco Massimo, Flocchini Paola, Flottes Marie-Lise, Focardi Riccardo, Franchina Luisa, Furfaro Angelo, Girdinio Paola, Guida Franco, Italiano Giuseppe F., Lain Daniele, Laurenti Nicola, Lioy Antonio, Loreti Michele, Malerba Donato, Mancini Luigi Vincenzo, Marchetti Spaccamela Alberto, Marcialis Gianluca, Margheri Andrea, Marrella Andrea, Martinelli Fabio, Martinelli Maurizio, Martino Luigi, Massacci Fabio, Mayer Marco, Mecella Massimo, Mensi Maurizio, Merlo Alessio, Miculan Marino, Montanari Luca, Morana Marco, Mosco Gian Domenico, Mostarda Leonardo, Murino Vittorio, Nardi Daniele, Navigli Roberto, Palazzi Andrea, Palmieri Francesco, Panetta Ida, Passarella Andrea, Pellegrini Alessandro, Pelosi Gerardo, Pellegrino Giancarlo, Pirlo Giuseppe, Piuri Vincenzo, Pizzonia Maurizio, Pogliani Marcello, Polino Mario, Pontil Massimiliano, Prinetto Paolo, Quaglia Francesco, Quattrociocchi Walter, Querzoni Leonardo, Rak Massimiliano, Ranise Silvio, Ricci Elisa, Rossi Lorenzo, Rota Paolo, Russo Ludovico Orlando, Samarati Pierangela, Santoro Nicola, Santucci Beppe, Sassone Vladimiro, Scala Antonio, Scotti Fabio, Servida Andrea, Spagnoletti Paolo, Spalazzi Luca, Spidalieri Francesca, Spoto Austo, Squarcina Marco, Stefanelli Stefania, Vecchio Alessio, Venticinque Salvatore, Villoresi Paolo, Visaggio Aaron, Vitaletti Andrea, Zanero Stefano
D'Elia Daniele Cono, Demetrescu Camil
On-stack replacement, distilled. ACM SIGPLAN NOTICES 2018: 166-180

Baldoni R., De Nicola R., Prinetto P., Anglano C., Aniello L., Antinori A., Armando A., Aversa R., Baldi Marco, Barili A., Bartoletti M., Bellini M., Bergadano F., Bernardeschi C., Bianchi E., Biancotti C., Bistarelli S., Blefari Melazzi N., Boetti M., Bondavalli A., Bonomi ., Buccafurri F., Cambiaso E., Caputo B., Carminati B., Cataliotti F. S., Catarci T., Ceccarelli A., Cesa Bianchi N., Chiaraluce F., Colajanni M., Conti M., Conti M., Coppolino L., Costa G., Costamagna V., Cotroneo D., Crispo B., Cucchiara R., D’Antonio S., Damiani E., De Nicola R., De Santis A., Di Battista G., Di Martino B., Degiovanni I. P., Demetrescu C., Di Corinto A., Di Luna A., Di Natale G., Dini G., Evangelisti M., Falcinelli D., Figà G., Ferretti M., Ficco M., Flocchini P., Flottes M., Focardi R., Furfaro Franchina., Girdinio P., Guida F., Italiano G. F., Lain D., Laurenti N., Lioy A., Loreti M., Malerba D., Mancini L. V., Marchetti Spaccamela A., Marcialis G., Margheri A., Marrella A., Martinelli F., Martinelli M., Martino L., Massacci F., Mayer M., Mecella M., Mensi M., Merlo A., Miculan M., Montanari L., Morana M., Mosco G. D., Mostarda L., Murino V., Nardi D., Navigli R., Palazzi A., Palmieri F., Panetta I. C., Passarella A., Pellegrini A., Pelosi G., Pellegrino G., Pirlo G., Piuri V., Pizzonia M., Pogliani M., Polino M., Pontil M., Prinetto P., Quaglia F., Quattrociocchi W., Querzoni L., Rak M., Ranise S., Ricci E., Rossi L., Rota P., Russo L. O., Samarati P., Santoro N., Santucci B., Sassone V., Scala A., Scotti F., Servida A., Spagnoletti P., Spalazzi L., Spidalieri F., Spoto A., Squarcina M., Stefanelli S., Vecchio A., Venticinque S., Villoresi P., Visaggio A., Vitaletti A., Zanero S.

2017

Baldoni Roberto, Coppa Emilio, D’Elia Daniele Cono, Demetrescu Camil
Assisting malware analysis with symbolic execution: A case study. Cyber Security Cryptographyand Machine Learning 2017: 171-188

Catarci Tiziana, Scannapieco Monica, Console Marco, Demetrescu Camil
My (Fair) Big Data. 2017 IEEE International Conference on Big Data (Big Data 2017) 2017: 2974-2979

2016

D'Elia DANIELE CONO, Demetrescu Camil
Flexible On-Stack Replacement in LLVM. Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016 2016: 250-260

D'Elia DANIELE CONO, Demetrescu Camil
D'ELIA DANIELE CONO, DEMETRESCU Camil, FINOCCHI Irene
Mining Hot Calling Contexts in Small Space. SOFTWARE, PRACTICE AND EXPERIENCE 2016: 1131-1152

2015

Demetrescu C., Flatt M.
Artifacts. 29th European Conference on Object-Oriented Programming 2015: xi-xii

2014

Coppa Emilio, Demetrescu Camil, Finocchi Irene, Marotta Romolo
Estimating the empirical cost function of routines with dynamic workloads. Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization 2014: 230-239

Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-Sensitive Profiling. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2014: 1185-1205

D'Elia DANIELE CONO, Demetrescu Camil, Finocchi Irene
Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Reactive imperative programming with dataflow constraints. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2014: -

2013

D'Elia DANIELE CONO, Demetrescu Camil
Ball-larus path profiling across multiple loop iterations. ACM SIGPLAN NOTICESProceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications 2013: 373-390

Vincenzo Bonifaci, Demetrescu Camil, MARCHETTI SPACCAMELA Alberto
Experimental Algorithms. Lecture Notes in Computer ScienceExperimental Algorithms 2013: -

Bonifaci Vincenzo, Demetrescu Camil, MARCHETTI SPACCAMELA Alberto
Demetrescu Camil, Italiano Giuseppe F.
The quest for the shortest route. The Power of Algorithms: Inspiration and Examples in Everyday Life 2013: 85-105

2012

Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-sensitive profiling. ACM SIGPLAN NOTICES 2012: 89-98

Ausiello Giorgio, Demetrescu Camil, Finocchi Irene, Firmani Donatella
K-calling context profiling. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2012: 867-877

2011

Demetrescu Camil, Finocchi Irene, Ribichini Andrea

2010

Demetrescu Camil, Bruno Escoffier, Gabriel Moruz, Ribichini Andrea

2009

Ausiello Giorgio, Demetrescu Camil, Franciosa Paolo Giulio, Italiano GIUSEPPE FRANCESCO, Ribichini Andrea
Demetrescu Camil, Finocchi Irene, Ribichini Andrea
Trading off space for passes in graph streaming problems. ACM TRANSACTIONS ON ALGORITHMS 2009: 1-17

2008

Demetrescu Camil, Finocchi Irene
Algorithms for Data Streams. Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems. Chapter 8. 2008: 241-270

Demetrescu Camil, Finocchi Irene, G. F. Italiano
Algoritmi e strutture dati (seconda edizione). Libro di testo per corsi universitari, McGraw-Hill 2008: 1-464

Demetrescu Camil, Giuseppe F. Italiano
Decremental All-Pairs Shortest Paths. Encyclopedia of Algorithms 2008: 226-227

Demetrescu Camil, Andrew V. Goldberg, David S. Johnson
Implementation Challenge for Shortest Paths. Encyclopedia of Algorithms 2008: 395-398

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