Nicolás Rosner

According to our database, Nicolás Rosner authored at least 20 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.

Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Input splitting for cloud-based static application security testing platforms.

Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

RAPID: checking API usage for the cloud in the cloud.

Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.

Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation.

Tegan Brennan, Nicolás Rosner, Tevfik Bultan

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Feedback-driven side-channel analysis for networked applications.

Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Inductive verification of data model invariants in web applications using first-order logic.

Ivan Bocic, Tevfik Bultan, Nicolás Rosner

Autom. Softw. Eng., 2019

Profit: Detecting and Quantifying Side Channels in Networked Applications.

Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations.

Lucas Bang, Nicolás Rosner, Tevfik Bultan

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Constraint normalization and parameterized caching for quantitative program analysis.

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias

IEEE Trans. Software Eng., 2015

2014

Bounded exhaustive test input generation from hybrid invariants.

Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Efficient Tight Field Bounds Computation Based on Shape Predicates.

Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the FM 2014: Formal Methods, 2014

2013

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias

IEEE Trans. Software Eng., 2013

Parallel Bounded Verification of Alloy Models by TranScoping.

Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Ranger: Parallel analysis of alloy models by range partitioning.

Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Parallel bounded analysis in code with rich invariants by refinement of field bounds.

Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.

Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2010

Analysis of invariants for efficient bounded verification.

Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.

Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Abstract State Machines, 2010