Concepedia

Alejandro Russo

AR

31

Publications

1.2K

Citations

17

H-Index

2006

Active since

Affiliations

Chalmers University of Technology(Current)

Stanford University

University of California San Diego

University of California, Santa Cruz

Institut national de recherche en sciences et technologies du numérique

Alejandro Russo is an author at Chalmers University of Technology specializing in data security, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisData SecurityFormal VerificationFormal MethodsInformation SecurityCryptographyHardware Security

Publications per year

2006–2020

31

Publications

31

Dynamic vs. Static Flow-Sensitive Security Analysis

Alejandro Russo, Andrei Sabelfeld · 2010 · 184 citations

Engineering, Information Security, Dynamic Security Analysis +16

Flexible dynamic information flow control in Haskell

Deian Stefan, Alejandro Russo, John C. Mitchell et al. · 2011 · 142 citations

Engineering, Verification, Floating-label Approach +19

Testing an optimising compiler by generating random lambda terms

Michał H. Pałka, Koen Claessen, Alejandro Russo et al. · 2011 · 118 citations

Mathematical Programming, Engineering, Compiler Technology +22

A library for light-weight information-flow security in haskell

Alejandro Russo, Koen Claessen, John Hughes · 2008 · 87 citations

Engineering, Information Security, Monadic Library +18

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo · 2015 · 62 citations

Runtime Checks, Engineering, Information Security +20

Rows per page

1–5 of 31