165 papers found
Refreshing results…
Cryptographic protocols with everyday objects
Download from epubs.surrey.ac.ukAutomated Anonymity Verification of the ThreeBallot Voting System
Download from epubs.surrey.ac.ukVerifying anonymity in voting systems using CSP
Download from epubs.surrey.ac.ukStructure-Based Design of Potent and Selective CK1γ Inhibitors
Download from europepmc.orgThe Behavioural Semantics of Event-B Refinement
Download from epubs.surrey.ac.ukStructure-Based Design of Novel Inhibitors of the MDM2-p53 Interaction
Download from www.researchgate.netMissing publications? Read more about our data sources.