Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
January 8, 2014

Probabilistic relational verification for cryptographic implementations

View Full Paper
Ask AI
Bookmark
Share

Authors

GBGilles BartheMax Planck Institute for Security and PrivacyCFCédric FournetMicrosoft (United Kingdom)BGBenjamin GrégoireFisheries and Oceans Canada

Discussion

Loading...

Member takes

Implication

Key Points

Key points are not available for this paper at this time.

Cite This Study

Barthe et al. (2014) studied this question.

synapsesocial.com/papers/6a154a4e79ff98d0de4e639bhttps://doi.org/10.1145/2535838.2535847
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Security Policies and Security Models1982 · 2,109 citations
  2. 2Privacy-preserving smart metering2011 · 315 citations
  3. 3Probabilistic relational reasoning for differential privacy2012 · 99 citations