Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Aspinall
On the Formalisation of $$\varSigma $$ -Protocols and Commitment Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Enacting Protocols by Commitment Concession
Identification Protocols and Signature Schemes Based on Supersingular Isogeny Problems
Journal of Cryptology
Applied Mathematics
Computer Science Applications
Software
Quantum Bit Commitment and Coin Tossing Protocols
Formalisation and Verification of Interoperation Requirements on Collaborative Processes
IFAC Proceedings Volumes
Decisional Interoperability: Concepts and Formalisation
The Combination of the Lattice Theory Problem and the Number Theory Problem in the Authentication Schemes, Algorithms and Protocols
Journal of the Ural Federal District Information security
Simple Authentication Schemes for the Asynchronous Layered Coding (ALC) and NACK-Oriented Reliable Multicast (NORM) Protocols
Formalisation and Simulation of Operating Rules Using Coloured Petri Nets
WIT Transactions on the Built Environment
Building
Reliability
Arts
Transportation
Risk
Humanities
Automotive Engineering
Structural Engineering
Civil
Construction
Safety
Architecture
Computer Science Applications
Safety Research
Quality
On the Impact of Ontological Commitment
