Dynamic vs. Static Flow-Sensitive Security Analysis
Russo, Alejandro, Sabelfeld, Andrei
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.01.2010)
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.01.2010)
Get full text
Conference Proceeding
UTILIZACIÓN DE MODELOS SIMULADORES PARA EL ENTRENAMIENTO DE ACCESOS VENOSOS CENTRALES: NUESTRA EXPERIENCIA. Utilización de modelos simuladores para el entrenamiento de accesos venosos centrales: Nuestra experiencia
Russo, Alejandro M, Pose, Santiago, Aguiar, Gabriela, Armand Ugón, Gustavo J, Olivera, Eduardo A
Published in Revista Argentina de anatomía clínica (28.03.2016)
Published in Revista Argentina de anatomía clínica (28.03.2016)
Get full text
Journal Article
DISPOSICIÓN DE LA VENA FACIAL EN EL TRIÁNGULO CAROTIDEO E IMPLICANCIAS EN CIRUGÍA DE CARÓTIDA
Mansilla Lizardi, Alejandra, Martinez Ventura, Sofía, Mansilla Rud, Sofía, Lissarrague Blanco, Matilde, Russo Cousté, Alejandro
Published in Revista Argentina de anatomía clínica (25.03.2022)
Published in Revista Argentina de anatomía clínica (25.03.2022)
Get full text
Journal Article
DRENAJE QUIRÚRGICO EXTRAPERITONEAL DE ABSCESO DEL PSOAS: FUNDAMENTO ANATÓMICO. Drenaje quirúrgico extraperitoneal de absceso del psoas: Fundamento anatómico
Russo, Alejandro M, Garretano, Alejandra, Pouy, Andrés, Wagner, Gabriela, Costa, Juan M, Sciuto, Pablo M, Olivera, Eduardo A
Published in Revista Argentina de anatomía clínica (28.03.2016)
Published in Revista Argentina de anatomía clínica (28.03.2016)
Get full text
Journal Article
Optimising Faceted Secure Multi-Execution
Algehed, Maximilian, Russo, Alejandro, Flanagan, Cormac
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Get full text
Conference Proceeding
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Lobo-Vesga, Elisabet, Russo, Alejandro, Gaboardi, Marco
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Get full text
Conference Proceeding
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
Sabelfeld, Andrei, Russo, Alejandro
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2009)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2009)
Get full text
Book Chapter
Conference Proceeding
On-the-fly inlining of dynamic security monitors
Magazinius, Jonas, Russo, Alejandro, Sabelfeld, Andrei
Published in Computers & security (01.10.2012)
Published in Computers & security (01.10.2012)
Get full text
Journal Article
Global impact of the first coronavirus disease 2019 (COVID‐19) pandemic wave on vascular services
Published in British Journal of Surgery
(01.10.2020)
Get full text
Journal Article
Web Resource
MAC A verified static information-flow control library
Vassena, Marco, Russo, Alejandro, Buiras, Pablo, Waye, Lucas
Published in Journal of logical and algebraic methods in programming (01.02.2018)
Published in Journal of logical and algebraic methods in programming (01.02.2018)
Get full text
Journal Article
From fine- to coarse-grained dynamic information flow control and back
Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Securing Concurrent Lazy Programs Against Information Leakage
Vassena, Marco, Breitner, Joachim, Russo, Alejandro
Published in 2017 IEEE 30th Computer Security Foundations Symposium (CSF) (01.08.2017)
Published in 2017 IEEE 30th Computer Security Foundations Symposium (CSF) (01.08.2017)
Get full text
Conference Proceeding