Distributed, Parallel, and Cluster Computing · Computer Science
Verifying the correct composition of distributed components: Formalisation and Tool
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
2015-02-13
Software Engineering · Computer Science
Compositional Specifications for ioco Testing
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2019-04-16
Cryptography and Security · Computer Science
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
2013-10-29
Cryptography and Security · Computer Science
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen, Sjouke Mauw +2
2007-05-23
Cryptography and Security · Computer Science
Term-based composition of security protocols
Bela Genge, Piroska Haller, Ovidiu Ratoi, Iosif Ignat
2016-11-18
Cryptography and Security · Computer Science
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif +2
2024-01-17
Software Engineering · Computer Science
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
2014-04-04
Cryptography and Security · Computer Science
A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions
Sam Grierson, William J Buchanan, Craig Thomson, Baraq Galeb +1
2024-11-27