Search results
From MaRDI portal
- 2008-04-24 Paper Fair multi-party contract signing using private contract signatures 2008-04-16 Paper Improved Multi-party Contract Signing 2008-03-07 Paper...10 bytes (18 words) - 07:29, 9 December 2023
- Publication Type Fair multi-party contract signing using private contract signatures 2008-04-16 Paper Improved Multi-party Contract Signing 2008-03-07 Paper...10 bytes (16 words) - 12:12, 7 October 2023
- Reasoning with Isabelle/HOL 2009-10-20 Paper Mechanical proofs about BW multi-party contract signing protocol 2007-06-01 Paper Bayesian and non-Bayesian analysis...10 bytes (17 words) - 04:37, 9 December 2023
- Publication Date of Publication Type Attacking an Asynchronous Multi-party Contract Signing Protocol 2008-03-17 Paper...10 bytes (18 words) - 22:11, 26 December 2023
- Publication Date of Publication Type On the efficiency of multi-party contract signing protocols 2018-10-18 Paper...10 bytes (18 words) - 21:14, 24 September 2023
- Publication Date of Publication Type On the efficiency of multi-party contract signing protocols 2018-10-18 Paper...10 bytes (18 words) - 21:14, 24 September 2023
- Publication Date of Publication Type Mechanical proofs about BW multi-party contract signing protocol 2007-06-01 Paper...10 bytes (16 words) - 03:30, 28 December 2023
- Eden 2017-10-23 Paper Certified symbolic management of financial multi-party contracts 2017-05-10 Paper https://portal.mardi4nfdi.de/entity/Q3601048 2009-02-09...10 bytes (16 words) - 18:14, 6 October 2023
- de/entity/Q6068926 2023-12-15 Paper Certified symbolic management of financial multi-party contracts 2017-05-10 Paper Static interpretation of modules 2016-09-01 Paper...10 bytes (16 words) - 23:59, 24 September 2023
- Publication Type On the efficiency of multi-party contract signing protocols 2018-10-18 Paper Formal Analysis of FPH Contract Signing Protocol Using Colored Petri...10 bytes (20 words) - 21:14, 24 September 2023
- Wireless Sensor Networks 2009-01-09 Paper Attacking an Asynchronous Multi-party Contract Signing Protocol 2008-03-17 Paper Graphical Representation of Authorization...10 bytes (17 words) - 02:37, 7 October 2023
- black-box security testing of CPS 2020-01-30 Paper On the efficiency of multi-party contract signing protocols 2018-10-18 Paper <inline-formula><tex-math>$k$...10 bytes (16 words) - 12:41, 7 October 2023
- compilers 2017-10-23 Paper Certified symbolic management of financial multi-party contracts 2017-05-10 Paper Cutting Out Continuations 2016-08-17 Paper Calculating...10 bytes (17 words) - 08:51, 7 October 2023
- DIFFUSION AND TIME DELAY 2009-03-05 Paper Mechanical proofs about BW multi-party contract signing protocol 2007-06-01 Paper https://portal.mardi4nfdi.de/entity/Q5469840...10 bytes (17 words) - 14:30, 11 December 2023
- acquisition strategy in a dual channel supply chain 2023-10-25 Paper First-party content decision under competitive hardware/software platforms: free vs....10 bytes (17 words) - 16:20, 10 December 2023
- 2004-08-10 Paper Constraint proposal method for computing Pareto solutions in multi-party negotiations 2002-08-08 Paper On applied nonlinear and bilevel programming...10 bytes (16 words) - 13:55, 8 December 2023
- Aerodynamic-force production mechanisms in hovering mosquitoes 2020-08-04 Paper A new multi-party quantum private comparison protocol based on circle model 2019-11-28 Paper...10 bytes (16 words) - 13:15, 6 October 2023
- Diamond Channel 2017-06-08 Paper Secure Multi-party Shuffling 2016-01-08 Paper Recent Results in Scalable Multi-Party Computation 2015-02-20 Paper Distributed...10 bytes (16 words) - 10:00, 25 September 2023
- equilibria in a coordination game with information aggregation 2017-11-16 Paper Multi-product Bertrand Oligopoly with Exogenous and Endogenous Consumer Heterogeneity...10 bytes (16 words) - 10:52, 6 October 2023
- 2002-09-17 Paper Constraint proposal method for computing Pareto solutions in multi-party negotiations 2002-08-08 Paper Behavioral and procedural consequences of...10 bytes (19 words) - 10:09, 8 December 2023
