Alejandro Russo

Identifiers

• name variant Alejandro Russo 0.60 · backfill

Papers (6)

1. Branching Processes for QuickCheck Generators cs.SE · 2018 · author #2
2. Cryptographically Secure Information Flow Control on Key-Value Stores cs.CR · 2017 · author #4
3. On Dynamic Flow-Sensitive Floating-Label Systems cs.CR · 2015 · author #3
4. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) cs.PL · 2015 · author #5
5. Type-Directed Compilation for Fault-Tolerant Non-Interference cs.CR · 2014 · author #3
6. Flexible Dynamic Information Flow Control in the Presence of Exceptions cs.CR · 2012 · author #2

Mentions

• 1507.06189 #3 · backfill · confidence 0.70 Alejandro Russo
• 1501.04132 #5 · backfill · confidence 0.70 Alejandro Russo
• 1410.4917 #3 · backfill · confidence 0.70 Alejandro Russo
• 1207.1457 #2 · backfill · confidence 0.70 Alejandro Russo

Frequent Coauthors

• Deian Stefan 3 shared papers
• John C. Mitchell 2 shared papers
• Pablo Buiras 2 shared papers
• Agust\'in Mista 1 shared papers
• David Mazi\`eres 1 shared papers
• David Sands 1 shared papers
• Edward Z. Yang 1 shared papers
• Filippo Del Tedesco 1 shared papers
• John Hughes 1 shared papers
• Lucas Waye 1 shared papers
• Owen Arden 1 shared papers
• Stefan Heule 1 shared papers
• Stephen Chong 1 shared papers