Paulo Mateus

Emmanuel Zambrini Cruzeiro

Quantum, August, 2023

Distributed Shor's algorithm.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2023

A Network Server for Distributing Quantum Random Numbers.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023

Oblivious Keys for Secure Multiparty Computation Obtained from a CV-QKD.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023

2022

Experimental Semi-quantum Key Distribution With Classical Users.

[BibT_eX]

[DOI]

Quantum, September, 2022

Model Complexity in Statistical Manifolds: The Role of Curvature.

[BibT_eX]

[DOI]

Bruno Mera

IEEE Trans. Inf. Theory, 2022

Quantum Oblivious Transfer: A Short Review.

[BibT_eX]

[DOI]

Manuel B. Santos

Armando N. Pinto

Entropy, 2022

Private Computation of Phylogenetic Trees Based on Quantum Technologies.

[BibT_eX]

[DOI]

IEEE Access, 2022

2021

Quantum and classical oblivious transfer: A comparative analysis.

[BibT_eX]

[DOI]

Manuel B. Santos

Armando N. Pinto

IET Quantum Commun., June, 2021

ROTed: Random Oblivious Transfer for embedded devices.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021

Mediated semi-quantum secure direct communication.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2021

Testing Boolean Functions Properties.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting.

[BibT_eX]

[DOI]

Entropy, 2021

2020

Using Low-Density Parity-Check codes to improve the McEliece cryptosystem.

[BibT_eX]

[DOI]

Inf. Sci., 2020

Two-Round Oblivious Linear Evaluation from Learning with Errors.

[BibT_eX]

[DOI]

Nico Döttling

IACR Cryptol. ePrint Arch., 2020

Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data.

[BibT_eX]

[DOI]

Mariano Lemus

João P. Beirão

Nikola Paunkovic

Entropy, 2020

A Private Quantum Bit String Commitment.

[BibT_eX]

[DOI]

Mariana Gama

André Souto

Entropy, 2020

On the minmax regret for statistical manifolds: the role of curvature.

[BibT_eX]

[DOI]

Bruno Mera

CoRR, 2020

Quantum Enabled Private Recognition of Composite Signals in Genome and Proteins.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Transparent Optical Networks, 2020

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL.

[BibT_eX]

[DOI]

Maria Ribeiro

Proceedings of the Logic, 2020

2019

Entangling and disentangling in Grover's search algorithm.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Synthesis of quantum images using phase rotation.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2019

A Traceable Ring Signature Scheme based on Coding Theory.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

UC-Commitment Schemes with Phase-Adaptive Security from Trapdoor Functions.

[BibT_eX]

[DOI]

Manuel Goulão

IACR Cryptol. ePrint Arch., 2019

Quantum Contract Signing with Entangled Pairs.

[BibT_eX]

[DOI]

Entropy, 2019

Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation.

[BibT_eX]

[DOI]

CoRR, 2019

Time Series Imputation.

[BibT_eX]

[DOI]

Samuel Arcadinho

CoRR, 2019

On minimal assumptions to obtain a universally composable quantum bit commitment.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Transparent Optical Networks, 2019

2018

Security of a single-state semi-quantum key distribution protocol.

[BibT_eX]

[DOI]

Wei Zhang

Quantum Inf. Process., 2018

Quantum key distribution with quantum walks.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2018

Universally Composable Oblivious Transfer Protocol based on the RLWE Assumption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Model selection for clustering of pharmacokinetic responses.

[BibT_eX]

[DOI]

Rui P. Guerra

Comput. Methods Programs Biomed., 2018

A Code-Based Linkable Ring Signature Scheme.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, 2018

Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Methodologies - 14th International Conference, 2018

Witness Hiding Without Extractors or Simulators.

[BibT_eX]

[DOI]

Proceedings of the Sailing Routes in the World of Computation, 2018

2017

Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2017

Universality of quantum Turing machines with deterministic control.

[BibT_eX]

[DOI]

André Souto

J. Log. Comput., 2017

Decision and optimization problems in the unreliable-circuit logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

Quantum machines with classical control.

[BibT_eX]

[DOI]

Andre Souto

CoRR, 2017

Stabilizing BGP through distributed elimination of recurrent routing loops.

[BibT_eX]

[DOI]

João Luis Sobrinho

David Fialho

Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

2016

Geometry and dynamics of one-norm geometric quantum discord.

[BibT_eX]

[DOI]

Zhiming Huang

Quantum Inf. Process., 2016

Quantum walks public key cryptographic system.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Semiquantum key distribution without invoking the classical party's measurement capability.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2015

Exponentially more concise quantum recognition of non-RMM regular languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

2014

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.

[BibT_eX]

[DOI]

Manuel Biscaia

David Henriques

ACM Trans. Comput. Log., 2014

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete.

[BibT_eX]

[DOI]

Luca Viganò

Theor. Comput. Sci., 2014

Hybrid learning of Bayesian multinets for binary classification.

[BibT_eX]

[DOI]

Pattern Recognit., 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Oblivious transfer based on quantum state computational distinguishability.

[BibT_eX]

[DOI]

CoRR, 2014

Oblivious transfer based on single-qubit rotations.

[BibT_eX]

[DOI]

CoRR, 2014

Enhancing Privacy with Quantum Networks.

[BibT_eX]

[DOI]

Proceedings of the Communications and Multimedia Security, 2014

2013

State succinctness of two-way finite automata with quantum and classical states.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers.

[BibT_eX]

[DOI]

Entropy, 2013

Quantum Communications [Guest Editorial].

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2013

A Temporal Logic for Planning under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012

Quantum Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Characterizations of one-way general quantum finite automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Decidability and complexity for ω-regular properties of stochastic systems.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

On the complexity of minimizing probabilistic and quantum automata.

[BibT_eX]

[DOI]

Francisco Marcos de Assis

Lvzhou Li

Inf. Comput., 2012

Improving Classical Authentication over a Quantum Channel.

[BibT_eX]

[DOI]

Aleksandar Stojanovic

Yasser Omar

Entropy, 2012

Reducing factorization of a semiprime number to the integration of highly oscillatory functions.

[BibT_eX]

[DOI]

V. R. Vieira

Appl. Math. Lett., 2012

2011

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.

[BibT_eX]

[DOI]

Acta Informatica, 2011

2009

On Privacy Losses in the Trusted Agent Model (Abstract).

[BibT_eX]

[DOI]

Serge Vaudenay

IACR Cryptol. ePrint Arch., 2009

One-way quantum finite automata together with classical states

[BibT_eX]

[DOI]

CoRR, 2009

Temporalization of Probabilistic Propositional Logic.

[BibT_eX]

[DOI]

Pedro Baltazar

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

On Tamper-Resistance from a Theoretical Viewpoint.

[BibT_eX]

[DOI]

Francisco Marcos de Assis

Serge Vaudenay

Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

2008

Quantum Authentication of Classical Messages with Perfect Security

[BibT_eX]

[DOI]

Yasser Omar

CoRR, 2008

2007

Reasoning about probabilistic sequential programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Exogenous Probabilistic Computation Tree Logic.

[BibT_eX]

[DOI]

Pedro Baltazar

Rajagopal Nagarajan

Nikolaos Papanikolaou

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.

[BibT_eX]

[DOI]

Filipe Moura

João Rasga

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

Towards Model-Checking Quantum Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

2006

Weakly complete axiomatization of exogenous quantum propositional logic.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Reasoning About Imperative Quantum Programs.

[BibT_eX]

[DOI]

Rohit Chadha

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Towards a Quantitative Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Reasoning About States of Probabilistic Sequential Programs.

[BibT_eX]

[DOI]

Rohit Chadha

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Quantum Institutions.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.

[BibT_eX]

[DOI]

Walter Alexandre Carnielli

João Rasga

Cristina Sernadas

Log. J. IGPL, 2005

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

A Process Algebra for Reasoning About Quantum Security.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

2004

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.

[BibT_eX]

[DOI]

Claudio Hermida

Theor. Comput. Sci., 2004

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.

[BibT_eX]

[DOI]

Log. J. IGPL, 2004

Reasoning About Quantum Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Categorical foundations for randomly timed automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Paracategories I: internal paracategories and saturated partial algebras.

[BibT_eX]

[DOI]

Claudio Hermida

Theor. Comput. Sci., 2003

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.

[BibT_eX]

[DOI]

John C. Mitchell

Andre Scedrov

Proceedings of the CONCUR 2003, 2003

2002

Universal Aspects of Probabilistic Automata.

[BibT_eX]

[DOI]

Lutz Schröder

Math. Struct. Comput. Sci., 2002

Observations and the Probabilistic Situation Calculus.

[BibT_eX]

António Pacheco

Javier Pinto

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Probabilistic Situation Calculus.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2001

Combining Logics: Parchments Revisited.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Non-Determinism and Uncertainty in the Situation Calculus.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

1999

Precategories for combining probabilistic automata.

[BibT_eX]

[DOI]

Cristina Sernadas

Proceedings of the Conference on Category Theory and Computer Science, 1999

Realization of Probabilistic Automata: Categorial Approach.

[BibT_eX]

[DOI]