Nicolás Rosner
Cited by
Cited by
Analysis of invariants for efficient bounded verification
JP Galeotti, N Rosner, CG López Pombo, MF Frias
Proceedings of the 19th international symposium on Software testing and …, 2010
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
N Rosner, J Geldenhuys, N Aguirre, W Visser, MF Frias
IEEE Transactions in Software Engineering, 2015
Online synthesis of adaptive side-channel attacks based on noisy observations
L Bang, N Rosner, T Bultan
2018 IEEE European Symposium on Security and Privacy (EuroS&P), 307-322, 2018
Ranger: Parallel analysis of alloy models by range partitioning
N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
Constraint normalization and parameterized caching for quantitative program analysis
T Brennan, N Tsiskaridze, N Rosner, A Aydin, T Bultan
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Bounded exhaustive test input generation from hybrid invariants
N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ...
ACM SIGPLAN Notices 49 (10), 655-674, 2014
ParAlloy: Towards a framework for efficient parallel analysis of Alloy models
N Rosner, JP Galeotti, CGL Pombo, MF Frias
International Conference on Abstract State Machines, Alloy, B and Z, 396-397, 2010
Profit: Detecting and Quantifying Side Channels in Networked Applications.
N Rosner, IB Kadron, L Bang, T Bultan
NDSS, 2019
Parallel bounded analysis in code with rich invariants by refinement of field bounds
N Rosner, J Galeotti, S Bermúdez, GM Blas, SP De Rosso, L Pizzagalli, ...
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
Parallel bounded verification of Alloy models by TranScoping
N Rosner, CGL Pombo, N Aguirre, A Jaoua, A Mili, MF Frias
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
JIT Leaks: inducing timing side channels through just-in-time compilation
T Brennan, N Rosner, T Bultan
2020 IEEE Symposium on Security and Privacy (SP), 1207-1222, 2020
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
International Symposium on Formal Methods, 531-546, 2014
Inductive verification of data model invariants in web applications using first-order logic
I Bocić, T Bultan, N Rosner
Automated Software Engineering 26 (2), 379-416, 2019
Distributed SAT-Based Computation of Relational Tight Bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
Proc. of the Symposium on Automatic Program Verification (APV 2009), 2009
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
P Ponzio, A Godio, N Rosner, M Arroyo, N Aguirre, MF Frias
Fundamental Approaches to Software Engineering 12649, 218, 2021
Feedback-driven side-channel analysis for networked applications
İB Kadron, N Rosner, T Bultan
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
Program Committee for SEEM 2018
S Abrahão, L Barroca, A Bia, T Conte, D Damian, S Torgeir Dingsøyr, ...
Inducing JIT-Based Side Channels for Inferring Predicates about Secrets
T Brennan, N Rosner, T Bultan
The system can't perform the operation now. Try again later.
Articles 1–20