References

  1. Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey & Chenyi Zhang (2018): Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158(4), pp. 297–326, doi:10.3233/FI-2018-1650.
  2. Vincenzo Arceri & Isabella Mastroeni (2019): An Automata-based Abstract Semantics for String Manipulation Languages. In: Alexei Lisitsa & Andrei P. Nemytykh: Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019, EPTCS 299, pp. 19–33, doi:10.4204/EPTCS.299.5.
  3. Vincenzo Arceri & Isabella Mastroeni (2021): Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. ACM Trans. Priv. Secur. 24(2), pp. 10:1–10:38, doi:10.1145/3426470.
  4. Vincenzo Arceri, Isabella Mastroeni & Sunyi Xu (2020): Static Analysis for ECMAScript String Manipulation Programs. Appl. Sci. 10, pp. 3525, doi:10.3390/app10103525.
  5. Musard Balliu & Isabella Mastroeni (2010): A Weakest Precondition Approach to Robustness. Trans. Comput. Sci. 10, pp. 261–297, doi:10.1007/978-3-642-17499-5_11.
  6. Samuele Buro & Isabella Mastroeni (2018): Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. In: Isil Dillig & Jens Palsberg: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, Lecture Notes in Computer Science 10747. Springer, pp. 116–137, doi:10.1007/978-3-319-73721-8_6.
  7. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim & Kyung-Goo Doh (2006): A Practical String Analyzer by the Widening Approach. In: Naoki Kobayashi: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, Lecture Notes in Computer Science 4279. Springer, pp. 374–388, doi:10.1007/11924661_23.
  8. Giulia Costantini, Pietro Ferrara & Agostino Cortesi (2015): A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. 45(2), pp. 245–287, doi:10.1002/spe.2218.
  9. Roberto Giacobazzi, Neil D. Jones & Isabella Mastroeni (2012): Obfuscation by partial evaluation of distorted interpreters. In: Oleg Kiselyov & Simon J. Thompson: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. ACM, pp. 63–72, doi:10.1145/2103746.2103761.
  10. Roberto Giacobazzi & Isabella Mastroeni (2004): Proving Abstract Non-interference. In: Jerzy Marcinkowski & Andrzej Tarlecki: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, Lecture Notes in Computer Science 3210. Springer, pp. 280–294, doi:10.1007/978-3-540-30124-0_23.
  11. Roberto Giacobazzi & Isabella Mastroeni (2010): Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18(5), pp. 751–797, doi:10.3233/JCS-2009-0382.
  12. Roberto Giacobazzi & Isabella Mastroeni (2010): A Proof System for Abstract Non-interference. J. Log. Comput. 20(2), pp. 449–479, doi:10.1093/logcom/exp053.
  13. Roberto Giacobazzi & Isabella Mastroeni (2012): Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. In: Antoine Miné & David Schmidt: Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, Lecture Notes in Computer Science 7460. Springer, pp. 129–145, doi:10.1007/978-3-642-33125-1_11.
  14. Roberto Giacobazzi & Isabella Mastroeni (2018): Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21(2), pp. 9:1–9:31, doi:10.1145/3175660.
  15. Roberto Giacobazzi & Elisa Quintarelli (2001): Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. In: Patrick Cousot: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, Lecture Notes in Computer Science 2126. Springer, pp. 356–373, doi:10.1007/3-540-47764-0_20.
  16. Simon Holm Jensen, Peter A. Jonsson & Anders Møller (2012): Remedying the eval that men do. In: Mats Per Erik Heimdahl & Zhendong Su: International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM, pp. 34–44, doi:10.1145/2338965.2336758.
  17. Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann & Ben Hardekopf (2014): JSAI: a static analysis platform for JavaScript. In: Shing-Chi Cheung, Alessandro Orso & Margaret-Anne D. Storey: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. ACM, pp. 121–132, doi:10.1145/2635868.2635904.
  18. Isabella Mastroeni (2013): Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. In: Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh & John Hatcliff: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013, EPTCS 129, pp. 41–65, doi:10.4204/EPTCS.129.4.
  19. Isabella Mastroeni & Durica Nikolic (2010): Abstract Program Slicing: From Theory towards an Implementation. In: Jin Song Dong & Huibiao Zhu: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, Lecture Notes in Computer Science 6447. Springer, pp. 452–467, doi:10.1007/978-3-642-16901-4_30.
  20. Isabella Mastroeni & Damiano Zanardini (2017): Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. ACM Trans. Comput. Log. 18(1), pp. 7:1–7:58, doi:10.1145/3029052.
  21. Nikos Mavrogiannopoulos, Nessim Kisserli & Bart Preneel (2011): A taxonomy of self-modifying code for obfuscation. Comput. Secur. 30(8), pp. 679–691, doi:10.1016/j.cose.2011.08.007.
  22. Antoine Miné (2013): Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents). Available at https://tel.archives-ouvertes.fr/tel-00903447.
  23. Luca Negrini, Vincenzo Arceri, Pietro Ferrara & Agostino Cortesi (2021): Twinning Automata and Regular Expressions for String Static Analysis. In: Fritz Henglein, Sharon Shoham & Yakir Vizel: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings, Lecture Notes in Computer Science 12597. Springer, pp. 267–290, doi:10.1007/978-3-030-67067-2_13.
  24. Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia & Isabella Mastroeni (2015): Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. In: Sriram K. Rajamani & David Walker: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. ACM, pp. 329–341, doi:10.1145/2676726.2676986.
  25. Gregor Richards, Christian Hammer, Brian Burg & Jan Vitek (2011): The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. In: Mira Mezini: ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings, Lecture Notes in Computer Science 6813. Springer, pp. 52–78, doi:10.1007/978-3-642-22655-7_4.
  26. Robert Endre Tarjan (1972): Depth-First Search and Linear Graph Algorithms. SIAM J. Comput. 1(2), pp. 146–160, doi:10.1137/0201010.
  27. Reinhard Wilhelm, Helmut Seidl & Sebastian Hack (2013): Compiler Design - Syntactic and Semantic Analysis. Springer, doi:10.1007/978-3-642-17540-4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org