Follow
Tom Magrino
Tom Magrino
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Contextual policy enforcement in android applications with permission event graphs.
KZ Chen, NM Johnson, V D'Silva, S Dai, K MacNamara, TR Magrino, ...
Ndss 234, 2013
2122013
Computing the Margin of Victory in {IRV} Elections
TR Magrino, RL Rivest, E Shen
2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections …, 2011
1012011
Warranties for faster strong consistency
J Liu, T Magrino, O Arden, MD George, AC Myers
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
392014
FreeMarket: Shopping for free in Android applications.
D Reynaud, DX Song, TR Magrino, EXJ Wu, ECR Shin
NDSS, 2012
212012
A tour of gallifrey, a language for geodistributed programming
M Milano, R Recto, T Magrino, AC Myers
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
162019
Safe serializable secure scheduling: Transactions and the trade-off between security and consistency
I Sheff, T Magrino, J Liu, AC Myers, R Van Renesse
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
122016
Efficient, consistent distributed computation with predictive treaties
T Magrino, J Liu, N Foster, J Gehrke, AC Myers
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
102019
Jif 3.5: Java information flow
T Magrino, J Liu, O Arden, C Isradisaikul, AC Myers
Software release, June, 2016
62016
Fabric 0.3. Software release
O Arden, J Liu, T Magrino, AC Myers
52016
Computing the margin of victory in IRV elections In: Presented at 2011 Electronic Voting Technology Workshop
T Magrino, R Rivest, E Shen, D Wagner
Workshop on Trushworthy Elections, 2011
52011
Reduced Communication for Distributed Transactions through Time-Dependent Guarantees
TR Magrino
Cornell University, 2019
2019
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency (Technical Report)
I Sheff, T Magrino, J Liu, AC Myers, R van Renesse
2016
The system can't perform the operation now. Try again later.
Articles 1–12