Publication | Date of Publication | Type |
---|
Mediated semi-quantum secure direct communication | 2023-03-01 | Paper |
Recoverability from direct quantum correlations | 2023-01-13 | Paper |
Synthesis of quantum images using phase rotation | 2022-12-23 | Paper |
Model Complexity in Statistical Manifolds: The Role of Curvature | 2022-10-11 | Paper |
Two-Round Oblivious Linear Evaluation from Learning with Errors | 2022-07-08 | Paper |
Testing Boolean Functions Properties | 2022-02-01 | Paper |
Formal verification of Ethereum smart contracts using Isabelle/HOL | 2021-07-08 | Paper |
Using low-density parity-check codes to improve the McEliece cryptosystem | 2021-03-18 | Paper |
Single-state semi-quantum key distribution protocol and its security proof | 2020-10-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5119553 | 2020-08-30 | Paper |
On the minmax regret for statistical manifolds: the role of curvature | 2020-07-06 | Paper |
On the complexity of finding the maximum entropy compatible quantum state | 2020-05-27 | Paper |
A framework for universally composable oblivious transfer from one-round key-exchange | 2020-05-06 | Paper |
A traceable ring signature scheme based on coding theory | 2020-02-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224792 | 2019-07-24 | Paper |
Entangling and disentangling in Grover's search algorithm | 2019-05-21 | Paper |
Decision and optimization problems in the unreliable-circuit logic | 2019-01-08 | Paper |
A code-based linkable ring signature scheme | 2018-11-07 | Paper |
Security of a single-state semi-quantum key distribution protocol | 2018-11-05 | Paper |
Quantum key distribution with quantum walks | 2018-11-01 | Paper |
Witness hiding without extractors or simulators | 2018-09-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4600393 | 2018-01-09 | Paper |
Hybrid learning of Bayesian multinets for binary classification | 2017-11-10 | Paper |
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement | 2017-11-09 | Paper |
Universality of quantum Turing machines with deterministic control | 2017-05-17 | Paper |
Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers | 2016-05-10 | Paper |
Geometry and dynamics of one-norm geometric quantum discord | 2016-04-04 | Paper |
Semiquantum key distribution without invoking the classical party's measurement capability | 2015-09-23 | Paper |
Quantum blind signature with an offline repository | 2015-06-22 | Paper |
Probabilistic situation calculus | 2015-06-17 | Paper |
Approximate reasoning about logic circuits with single-fan-out unreliable gates | 2015-02-11 | Paper |
Exponentially more concise quantum recognition of non-RMM regular languages | 2014-11-24 | Paper |
Improving classical authentication over a quantum channel | 2014-09-08 | Paper |
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete | 2014-06-06 | Paper |
Security problems in the quantum signature scheme with a weak arbitrator | 2014-04-08 | Paper |
Oblivious transfer based on quantum state computational distinguishability | 2014-03-24 | Paper |
Exogenous Probabilistic Computation Tree Logic | 2014-01-17 | Paper |
State succinctness of two-way finite automata with quantum and classical states | 2014-01-10 | Paper |
A Process Algebra for Reasoning About Quantum Security | 2013-12-06 | Paper |
Security analyses and improvement of arbitrated quantum signature with an untrusted arbitrator | 2013-11-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q2851315 | 2013-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2851801 | 2013-10-04 | Paper |
Quantum secret sharing with classical Bobs | 2013-05-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4918417 | 2013-04-24 | Paper |
On the complexity of minimizing probabilistic and quantum automata | 2012-11-27 | Paper |
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states | 2012-03-23 | Paper |
Characterizations of one-way general quantum finite automata | 2012-03-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3560845 | 2010-05-14 | Paper |
Reasoning About States of Probabilistic Sequential Programs | 2009-03-12 | Paper |
Temporalization of Probabilistic Propositional Logic | 2009-02-24 | Paper |
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS | 2008-11-03 | Paper |
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES | 2008-11-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3527403 | 2008-09-29 | Paper |
Quantum Institutions | 2007-09-07 | Paper |
Reasoning about probabilistic sequential programs | 2007-07-16 | Paper |
NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS | 2007-03-27 | Paper |
Logics in Artificial Intelligence | 2006-10-25 | Paper |
Weakly complete axiomatization of exogenous quantum propositional logic | 2006-06-30 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination | 2005-09-28 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity | 2004-10-28 | Paper |
Categorical foundations for randomly timed automata | 2004-10-27 | Paper |
Paracategories. I: Internal paracategories and saturated partial algebras | 2004-10-27 | Paper |
Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory | 2004-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4471713 | 2004-07-30 | Paper |
Universal aspects of probabilistic automata | 2003-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2722028 | 2001-07-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499225 | 2001-03-04 | Paper |