@InProceedings{	  popper.ea:keeping:2010,
  abstract	= {We address the problem of confidentiality in scenarios
		  where the attacker is not only able to observe the
		  communication between principals, but can also fully
		  compromise the communicating parties (their devices, not
		  only their long term secrets) after the confidential data
		  has been exchanged. We formalize this problem and explore
		  solutions that provide confidentiality after the full
		  compromise of devices and user passwords. We propose two
		  new solutions that use explicit key deletion and
		  forward-secret protocols combined with key storage on
		  porter devices. Our solutions provide the users with full
		  control over their privacy. We analyze the proposed
		  solutions using an automatic verification tool. We also
		  implement a prototype using a mobile phone as porter device
		  to illustrate how the solution can be realized on modern
		  platforms.},
  author	= {Christina P\"opper and Srdjan Capkun and David Basin and
		  Cas J.F. Cremers},
  booktitle	= {ACSAC 2010},
  language	= {USenglish},
  publisher	= {ACM},
  title		= {Keeping Data Secret under Full Compromise using Porter
		  Devices},
  year		= 2010,
  user		= {cremersc}
}