Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1002.0935
Cited By
Execution Models for Choreographies and Cryptoprotocols
4 February 2010
Marco Carbone
J. Guttman
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Execution Models for Choreographies and Cryptoprotocols"
1 / 1 papers shown
Title
Choreographies with Secure Boxes and Compromised Principals
Marco Carbone
J. Guttman
154
4
0
29 Nov 2009
1
