Nicolás Rosner

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 10

Top Topics

Noisy Observations

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

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
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE (2023)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. FASE (2021)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan
Feedback-driven side-channel analysis for networked applications. ISSTA (2020)
Tegan Brennan, Nicolás Rosner, Tevfik Bultan
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. IEEE Symposium on Security and Privacy (2020)
Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Profit: Detecting and Quantifying Side Channels in Networked Applications. NDSS (2019)
Ivan Bocic, Tevfik Bultan, Nicolás Rosner
Inductive verification of data model invariants in web applications using first-order logic. Autom. Softw. Eng. 26 (2) (2019)
Lucas Bang, Nicolás Rosner, Tevfik Bultan
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. EuroS&P (2018)
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan
Constraint normalization and parameterized caching for quantitative program analysis. ESEC/SIGSOFT FSE (2017)
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41 (7) (2015)
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
Bounded exhaustive test input generation from hybrid invariants. OOPSLA (2014)
Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias
Efficient Tight Field Bounds Computation Based on Shape Predicates. FM (2014)
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE (2013)
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
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA (2013)
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39 (9) (2013)
Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
Ranger: Parallel analysis of alloy models by range partitioning. ASE (2013)
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM (2010)
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
Analysis of invariants for efficient bounded verification. ISSTA (2010)