2018-annual-report
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
76
1.1. Refereed Publications
1.1.1. Journals
annual report
20
1. Roberto Bruni, Roberto Giacobazzi, Roberta
Gori. Code obfuscation against abstraction
refinement attacks. Formal Aspects of Computing,
Vol. 30, Num. 6, pages 685–711,
November 2018.
1. Publications
The vast majority of the research of the
Institute is published at highly-ranked conferences
and journals. In line with what is
common in Computer Science, and unlike
what happens in other disciplines, conferences
are often preferred to journals for
a variety of reasons. Therefore, most of
our researchers target them primarily to
present bleeding-edge work, and submit
to journals only archival papers after they
have been presented at the leading conferences
of their fields.
In addition to peer-reviewed papers, we
list in this section conference proceedings
edited by our researchers, articles in books,
and theses (at the levels of Bachelor, Master,
and PhD).
2. Dario Catalano, Dario Fiore, Luca Nizzardo.
Homomorphic signatures with sublinear public
keys via asymmetric programmable hash
functions. Design, Codes and Cryptography,
Vol. 86, Num. 10, pages 2197–2246, October
2018.
3. Niki Vazou, Éric Tanter, David Van Horn.
Gradual Liquid Type Inference. Proc. ACM
Program. Lang., Vol. 2, Num. OOPSLA, pages
1–25, ACM, October 2018.
4. Irfan Ul Haq, Sergio Chica, Juan Caballero,
Somesh Jha. Malware Lineage in the Wild.
Computers & Security, Vol. 78, pages 347–
363, Elsevier, August 2018.
5. Zsolt István, David Sidler, Gustavo Alonso.
Active Pages 20 Years Later: Active Storage
for the Cloud. IEEE Internet Computing, Vol.
22, Num. 4, pages 6–14, July 2018.
6. Anindya Banerjee, David A. Naumann,
Mohammad Nikouei. A Logical Analysis of
Framing for Specifications with Pure Method
Calls. ACM Trans. Program. Lang. Syst., Vol.
40, Num. 2, pages 1–90, ACM, May 2018.
7. Nataliia Stulova, José F. Morales,
Manuel V. Hermenegildo. Some Trade-offs
in Reducing the Overhead of Assertion Runtime
Checks via Static Analysis. Science
of Computer Programming, Vol. 155, pages
3–26, Elsevier North-Holland, April 2018.
Selected and Extended papers from the
2016 International Symposium on Principles
and Practice of Declarative Programming.