Information and Computation

Journal: Information and Computation

Abbreviation

Inf. comput.

Publisher

Elsevier

ISSN

0890-5401

Show all metadata

Search Results

Publications 1 - 10 of 17

Transducer-based analysis of cryptographic protocols
Kuesters, Ralf; Wilke, Thomas (2007)
Information and Computation
Online algorithms with advice: The tape model
Böckenhauer, Hans-Joachim; Komm, Dennis; Královič, Rastislav; et al. (2017)
Information and Computation
Query complexity of generalized Simon's problem
Ye, Zekun; Huang, Yunqi; Li, Lvzhou; et al. (2021)
Information and Computation
Simon's problem plays an important role in the history of quantum algorithms, as it inspired Shor to discover the celebrated quantum algorithm solving integer factorization in polynomial time. Besides, the quantum algorithm for Simon's problem has been recently applied to break symmetric cryptosystems. Generalized Simon's problem, denoted by GSP(p,n,k), is a natural extension of Simon's problem: Given a function f:Zpn→X where X is a finite set and the promise that for any x,y∈Zpn,f(x)=f(y) iff x−y∈S for a subgroup S≤Zpn of rank k
Ehrenfeucht-Fraïssé goes automatic for real addition
Klaedtke, Felix (2010)
Information and Computation
On probabilistic pushdown automata
Hromkovič, Juraj; Schnitger, Georg (2010)
Information and Computation
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)
Degano, Pierpaolo; Küsters, Ralf; Viganò, Luca; et al. (2008)
Information and Computation
Sparse Reliable Graph Backbones
Chechik, Shiri; Emek, Yuval; Patt-Shamir, Boaz; et al. (2012)
Information and Computation
Mod/Resc Parsimony Inference
Nor, Igor; Hermelin, Danny; Charlat, Sylvain; et al. (2012)
Information and Computation
On multi-partition communication complexity
Ďuriš, Pavol; Hromkovič, Juraj; Jukna, Stasys; et al. (2004)
Information and Computation
Proving pointer programs in higher-order logic
Mehta, Farhad; Nipkow, Tobias (2005)
Information and Computation

Publications 1 - 10 of 17

Journal: Information and Computation

Abbreviation

Publisher

Journal Volumes

ISSN

Description

Filters

Search Results