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