Journal: Information and Computation
Loading...
Abbreviation
Inf. comput.
Publisher
Elsevier
17 results
Search Results
Publications 1 - 10 of 17
- Transducer-based analysis of cryptographic protocolsItem type: Journal Article
Information and ComputationKuesters, Ralf; Wilke, Thomas (2007) - Online algorithms with advice: The tape modelItem type: Journal Article
Information and ComputationBöckenhauer, Hans-Joachim; Komm, Dennis; Královič, Rastislav; et al. (2017) - Query complexity of generalized Simon's problemItem type: Journal Article
Information and ComputationYe, Zekun; Huang, Yunqi; Li, Lvzhou; et al. (2021)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 additionItem type: Journal Article
Information and ComputationKlaedtke, Felix (2010) - On probabilistic pushdown automataItem type: Journal Article
Information and ComputationHromkovič, Juraj; Schnitger, Georg (2010) - Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)Item type: Other Conference Item
Information and ComputationDegano, Pierpaolo; Küsters, Ralf; Viganò, Luca; et al. (2008) - Sparse Reliable Graph BackbonesItem type: Journal Article
Information and ComputationChechik, Shiri; Emek, Yuval; Patt-Shamir, Boaz; et al. (2012) - Mod/Resc Parsimony InferenceItem type: Journal Article
Information and ComputationNor, Igor; Hermelin, Danny; Charlat, Sylvain; et al. (2012) - On multi-partition communication complexityItem type: Journal Article
Information and ComputationĎuriš, Pavol; Hromkovič, Juraj; Jukna, Stasys; et al. (2004) - Proving pointer programs in higher-order logicItem type: Conference Paper
Information and ComputationMehta, Farhad; Nipkow, Tobias (2005)
Publications 1 - 10 of 17