Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386850128> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4386850128 endingPage "e1547" @default.
- W4386850128 startingPage "e1547" @default.
- W4386850128 abstract "Communication and information technologies shape the world's systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, the available current computers. Recent advances in quantum computing threaten the security of our systems and the communications we use. In order to face this threat, multiple solutions and protocols have been proposed in the Post-Quantum Cryptography project carried on by the National Institute of Standards and Technologies. The presented work focuses on defining a formal framework in Maude for the security analysis of different post-quantum key encapsulation mechanisms under assumptions given under the Dolev-Yao model. Through the use of our framework, we construct a symbolic model to represent the behaviour of each of the participants of the protocol in a network. We then conduct reachability analysis and find a man-in-the-middle attack in each of them and a design vulnerability in Bit Flipping Key Encapsulation. For both cases, we provide some insights on possible solutions. Then, we use the Maude Linear Temporal Logic model checker to extend the analysis of the symbolic system regarding security, liveness and fairness properties. Liveness and fairness properties hold while the security property does not due to the man-in-the-middle attack and the design vulnerability in Bit Flipping Key Encapsulation." @default.
- W4386850128 created "2023-09-20" @default.
- W4386850128 creator A5011741357 @default.
- W4386850128 creator A5030173635 @default.
- W4386850128 creator A5032149189 @default.
- W4386850128 creator A5039513308 @default.
- W4386850128 creator A5075631922 @default.
- W4386850128 date "2023-09-19" @default.
- W4386850128 modified "2023-10-18" @default.
- W4386850128 title "Modelling and verification of post-quantum key encapsulation mechanisms using Maude" @default.
- W4386850128 cites W1536580911 @default.
- W4386850128 cites W1597355050 @default.
- W4386850128 cites W1976195354 @default.
- W4386850128 cites W2001487918 @default.
- W4386850128 cites W2014213801 @default.
- W4386850128 cites W2029693536 @default.
- W4386850128 cites W2033453156 @default.
- W4386850128 cites W2050533674 @default.
- W4386850128 cites W2058459987 @default.
- W4386850128 cites W2081556416 @default.
- W4386850128 cites W2084652510 @default.
- W4386850128 cites W2091877728 @default.
- W4386850128 cites W2139760036 @default.
- W4386850128 cites W2194648763 @default.
- W4386850128 cites W2906439022 @default.
- W4386850128 cites W3031048092 @default.
- W4386850128 cites W3105106018 @default.
- W4386850128 cites W4285195112 @default.
- W4386850128 cites W4294658961 @default.
- W4386850128 doi "https://doi.org/10.7717/peerj-cs.1547" @default.
- W4386850128 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/37810329" @default.
- W4386850128 hasPublicationYear "2023" @default.
- W4386850128 type Work @default.
- W4386850128 citedByCount "0" @default.
- W4386850128 crossrefType "journal-article" @default.
- W4386850128 hasAuthorship W4386850128A5011741357 @default.
- W4386850128 hasAuthorship W4386850128A5030173635 @default.
- W4386850128 hasAuthorship W4386850128A5032149189 @default.
- W4386850128 hasAuthorship W4386850128A5039513308 @default.
- W4386850128 hasAuthorship W4386850128A5075631922 @default.
- W4386850128 hasBestOaLocation W43868501281 @default.
- W4386850128 hasConcept C110251889 @default.
- W4386850128 hasConcept C120314980 @default.
- W4386850128 hasConcept C121822524 @default.
- W4386850128 hasConcept C136643341 @default.
- W4386850128 hasConcept C148730421 @default.
- W4386850128 hasConcept C15569618 @default.
- W4386850128 hasConcept C160333310 @default.
- W4386850128 hasConcept C178489894 @default.
- W4386850128 hasConcept C203062551 @default.
- W4386850128 hasConcept C35181327 @default.
- W4386850128 hasConcept C38652104 @default.
- W4386850128 hasConcept C41008148 @default.
- W4386850128 hasConcept C80444323 @default.
- W4386850128 hasConcept C81147070 @default.
- W4386850128 hasConceptScore W4386850128C110251889 @default.
- W4386850128 hasConceptScore W4386850128C120314980 @default.
- W4386850128 hasConceptScore W4386850128C121822524 @default.
- W4386850128 hasConceptScore W4386850128C136643341 @default.
- W4386850128 hasConceptScore W4386850128C148730421 @default.
- W4386850128 hasConceptScore W4386850128C15569618 @default.
- W4386850128 hasConceptScore W4386850128C160333310 @default.
- W4386850128 hasConceptScore W4386850128C178489894 @default.
- W4386850128 hasConceptScore W4386850128C203062551 @default.
- W4386850128 hasConceptScore W4386850128C35181327 @default.
- W4386850128 hasConceptScore W4386850128C38652104 @default.
- W4386850128 hasConceptScore W4386850128C41008148 @default.
- W4386850128 hasConceptScore W4386850128C80444323 @default.
- W4386850128 hasConceptScore W4386850128C81147070 @default.
- W4386850128 hasLocation W43868501281 @default.
- W4386850128 hasLocation W43868501282 @default.
- W4386850128 hasOpenAccess W4386850128 @default.
- W4386850128 hasPrimaryLocation W43868501281 @default.
- W4386850128 hasRelatedWork W1583061463 @default.
- W4386850128 hasRelatedWork W1651168384 @default.
- W4386850128 hasRelatedWork W1989082972 @default.
- W4386850128 hasRelatedWork W2015160737 @default.
- W4386850128 hasRelatedWork W2103504376 @default.
- W4386850128 hasRelatedWork W2153337086 @default.
- W4386850128 hasRelatedWork W2161605176 @default.
- W4386850128 hasRelatedWork W2216891170 @default.
- W4386850128 hasRelatedWork W2790897865 @default.
- W4386850128 hasRelatedWork W4312626387 @default.
- W4386850128 hasVolume "9" @default.
- W4386850128 isParatext "false" @default.
- W4386850128 isRetracted "false" @default.
- W4386850128 workType "article" @default.