Nicolás Rosner

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