Adaptive incremental checkpointing for massively parallel systemsSaurabh AgarwalRahul Garget al.2004ACM/IEEE SC 2004
An architecture for secure generation and verification of electronic couponsRahul GargParul Mittalet al.2001USENIX ATC 2001