Alejandro Russo - Concepedia

Author

Alejandro Russo

Chalmers University of Technology ORCID

Also Known As

A. Russo, A.J. Russo, ALEJANDRO RUSSO, Alejandro Russo, Aurora Ramrez, Russo, Alejandro

102

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Chalmers University of Technology Stanford University University of California San Diego University of California, Santa Cruz Institut national de recherche en sciences et technologies du numérique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	28	1.2K
2	Computer Science	17	28	1.2K
3	Computer Engineering	8	8	276
4	Communication	2	2	73
5	Data Science	1	1	17

Alejandro Russo

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
Dynamic vs. Static Flow-Sensitive Security Analysis Alejandro Russo, Andrei Sabelfeld EngineeringInformation SecurityDynamic Security AnalysisSoftware AnalysisFormal Verification	2010	184
Flexible dynamic information flow control in Haskell Deian Stefan, Alejandro Russo, John C. Mitchell, EngineeringVerificationFloating-label ApproachSoftware AnalysisFormal Verification	2011	142
Testing an optimising compiler by generating random lambda terms Michał H. Pałka, Koen Claessen, Alejandro Russo, Mathematical ProgrammingEngineeringCompiler TechnologyVerificationTest Data Generation	2011	118
A library for light-weight information-flow security in haskell Alejandro Russo, Koen Claessen, John Hughes EngineeringInformation SecurityMonadic LibraryPure ComputationsCryptographic Protocol	2008	87
HLIO: mixing static and dynamic typing for information-flow control in Haskell Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo Runtime ChecksEngineeringInformation SecurityInformation-flow ControlVerification	2015	62
Addressing covert termination and timing channels in concurrent information flow systems Deian Stefan, Alejandro Russo, Pablo Buiras, EngineeringInformation SecurityInformation-flow ControlInformation LeakageInformation Forensics	2012	60
Securing Interaction between Threads and the Scheduler Alejandro Russo, Andrei Sabelfeld EngineeringInformation SecurityConcurrent SystemSoftware AnalysisFormal Verification	2006	59
Securing Timeout Instructions in Web Applications Alejandro Russo, Andrei Sabelfeld Internet SecuritySoftware SecurityEngineeringRuntime MonitorUsable Security	2009	43
A Library for Secure Multi-threaded Information Flow in Haskell Ta-chung Tsai, Alejandro Russo, John Hughes Proceedings - Computer Security Foundations Workshop/Proceedings EngineeringInformation SecurityCompiler TechnologyFormal VerificationSoftware Analysis	2007	39
Precise Enforcement of Confidentiality for Reactive Systems Dante Zanarini, Mauro Jaskelioff, Alejandro Russo Precise EnforcementEngineeringInformation SecurityVerificationWeb Pages	2013	34

Page 1