FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1010687637> ?p ?o ?g. }

• W1010687637 endingPage "299" @default.
• W1010687637 startingPage "280" @default.
• W1010687637 abstract "We propose a framework for timing attacks, based on (a variant of) the applied-pi calculus. Since many privacy properties, as well as strong secrecy and game-based security properties, are stated as process equivalences, we focus on (time) trace equivalence. We show that actually, considering timing attacks does not add any complexity: time trace equivalence can be reduced to length trace equivalence, where the attacker no longer has access to execution times but can still compare the length of messages. We therefore deduce from a previous decidability result for length equivalence that time trace equivalence is decidable for bounded processes and the standard cryptographic primitives. As an application, we study several protocols that aim for privacy. In particular, we (automatically) detect an existing timing attack against the biometric passport and new timing attacks against the Private Authentication protocol." @default.
• W1010687637 created "2016-06-24" @default.
• W1010687637 creator A5065695523 @default.
• W1010687637 creator A5070402905 @default.
• W1010687637 date "2015-01-01" @default.
• W1010687637 modified "2023-09-25" @default.
• W1010687637 title "Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques" @default.
• W1010687637 cites W1508634734 @default.
• W1010687637 cites W1523982624 @default.
• W1010687637 cites W1530255708 @default.
• W1010687637 cites W1531820677 @default.
• W1010687637 cites W1571378841 @default.
• W1010687637 cites W1584984507 @default.
• W1010687637 cites W1613874182 @default.
• W1010687637 cites W1670563787 @default.
• W1010687637 cites W1702880354 @default.
• W1010687637 cites W171472358 @default.
• W1010687637 cites W1973054120 @default.
• W1010687637 cites W1991537775 @default.
• W1010687637 cites W1994676271 @default.
• W1010687637 cites W2001874371 @default.
• W1010687637 cites W2036714652 @default.
• W1010687637 cites W2045673642 @default.
• W1010687637 cites W2060349224 @default.
• W1010687637 cites W2063161063 @default.
• W1010687637 cites W2067756717 @default.
• W1010687637 cites W2073385346 @default.
• W1010687637 cites W2098076404 @default.
• W1010687637 cites W2108104925 @default.
• W1010687637 cites W2119617924 @default.
• W1010687637 cites W2119966192 @default.
• W1010687637 cites W2140665129 @default.
• W1010687637 cites W2156585713 @default.
• W1010687637 cites W2167816957 @default.
• W1010687637 cites W2914971001 @default.
• W1010687637 cites W598363404 @default.
• W1010687637 doi "https://doi.org/10.1007/978-3-662-46666-7_15" @default.
• W1010687637 hasPublicationYear "2015" @default.
• W1010687637 type Work @default.
• W1010687637 sameAs 1010687637 @default.
• W1010687637 citedByCount "12" @default.
• W1010687637 countsByYear W10106876372016 @default.
• W1010687637 countsByYear W10106876372017 @default.
• W1010687637 countsByYear W10106876372018 @default.
• W1010687637 countsByYear W10106876372019 @default.
• W1010687637 countsByYear W10106876372021 @default.
• W1010687637 countsByYear W10106876372022 @default.
• W1010687637 crossrefType "book-chapter" @default.
• W1010687637 hasAuthorship W1010687637A5065695523 @default.
• W1010687637 hasAuthorship W1010687637A5070402905 @default.
• W1010687637 hasBestOaLocation W10106876373 @default.
• W1010687637 hasConcept C118615104 @default.
• W1010687637 hasConcept C134306372 @default.
• W1010687637 hasConcept C138885662 @default.
• W1010687637 hasConcept C153269930 @default.
• W1010687637 hasConcept C161771561 @default.
• W1010687637 hasConcept C178489894 @default.
• W1010687637 hasConcept C2776452267 @default.
• W1010687637 hasConcept C2780069185 @default.
• W1010687637 hasConcept C33884865 @default.
• W1010687637 hasConcept C33923547 @default.
• W1010687637 hasConcept C34388435 @default.
• W1010687637 hasConcept C38652104 @default.
• W1010687637 hasConcept C41008148 @default.
• W1010687637 hasConcept C41895202 @default.
• W1010687637 hasConcept C75291252 @default.
• W1010687637 hasConcept C80444323 @default.
• W1010687637 hasConceptScore W1010687637C118615104 @default.
• W1010687637 hasConceptScore W1010687637C134306372 @default.
• W1010687637 hasConceptScore W1010687637C138885662 @default.
• W1010687637 hasConceptScore W1010687637C153269930 @default.
• W1010687637 hasConceptScore W1010687637C161771561 @default.
• W1010687637 hasConceptScore W1010687637C178489894 @default.
• W1010687637 hasConceptScore W1010687637C2776452267 @default.
• W1010687637 hasConceptScore W1010687637C2780069185 @default.
• W1010687637 hasConceptScore W1010687637C33884865 @default.
• W1010687637 hasConceptScore W1010687637C33923547 @default.
• W1010687637 hasConceptScore W1010687637C34388435 @default.
• W1010687637 hasConceptScore W1010687637C38652104 @default.
• W1010687637 hasConceptScore W1010687637C41008148 @default.
• W1010687637 hasConceptScore W1010687637C41895202 @default.
• W1010687637 hasConceptScore W1010687637C75291252 @default.
• W1010687637 hasConceptScore W1010687637C80444323 @default.
• W1010687637 hasLocation W10106876371 @default.
• W1010687637 hasLocation W10106876372 @default.
• W1010687637 hasLocation W10106876373 @default.
• W1010687637 hasLocation W10106876374 @default.
• W1010687637 hasLocation W10106876375 @default.
• W1010687637 hasOpenAccess W1010687637 @default.
• W1010687637 hasPrimaryLocation W10106876371 @default.
• W1010687637 hasRelatedWork W1533411097 @default.
• W1010687637 hasRelatedWork W1543782959 @default.
• W1010687637 hasRelatedWork W1762943472 @default.
• W1010687637 hasRelatedWork W1843540884 @default.
• W1010687637 hasRelatedWork W20186095 @default.
• W1010687637 hasRelatedWork W2023361932 @default.
• W1010687637 hasRelatedWork W2076864770 @default.
• W1010687637 hasRelatedWork W2157303295 @default.

• next