Peter - PDFSEARCH.IO - Document Search Engine

Peter
Results: 45375

#	Item
21	All the AES You Need on Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands , Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:40:08 Cryptography Advanced Encryption Standard Data Encryption Standard AES implementations ARM architecture Block ciphers DEAL AES instruction set CRYPTON
22	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
23	PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler, Add to Reading List Source URL: www.jbs.cam.ac.uk Language: English - Date: 2018-05-31 04:48:10 Economy Money Finance Financial technology Collaborative finance Entrepreneurship Crowdfunding Alternative finance Cambridge Centre For Alternative Finance Peer-to-peer lending Funding Borro Private Finance
24	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
25	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) Add to Reading List Source URL: joostrijneveld.nl Language: English - Date: 2018-09-03 08:56:26 Cryptography Post-quantum cryptography Quantum cryptography Emerging technologies Quantum computing Key Supersingular isogeny key exchange Ring learning with errors key exchange
26	Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Order theory Algebra Abstract algebra Lattice theory Lattice Partially ordered set KnasterTarski theorem Complete lattice Binary relation Join and meet Monotonic function
27	CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit` Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Gene expression Molecular biology Biochemistry Biology Lac operon Beta-galactosidase Inducer Allolactose Galactosidases Lac repressor Lactose Galactose
28	Title of the contribution Mo Vep Peter Wan IRCCyN, CNRS Add to Reading List Source URL: movep14.irccyn.ec-nantes.fr Language: English - Date: 2015-11-09 04:09:21 Statements Mathematics Lemmas Logical consequence Theorem THM Farkas' lemma Conjecture Language
29	Rollback-Recovery for Middleboxes Justine Sherry∗ Peter Xiang Gao∗ Soumya Basu∗ Aurojit Panda∗ Arvind Krishnamurthy• Christian Maciocco† Maziar Manesh† João Martins/ Sylvia Ratnasamy∗ Luigi Rizzo‡ Scot Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2015-07-16 16:30:14 Computing Concurrency control Networking hardware Information and communications technology Concurrent computing Computer networking Computer network security Middlebox Monitor Packet processing Data Plane Development Kit Transmission Control Protocol
30	Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2014-12-08 15:41:25 X86 architecture X86-64 Z3 Computing Computer hardware Computer engineering

UPDATE