Sebastian - PDFSEARCH.IO - Document Search Engine

Sebastian
Results: 5610

#	Item
1	Short Double- and N -Times-Authentication-Preventing Signatures from ECDSA and More David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-02-28 05:05:12 Cryptography Public-key cryptography Elliptic curve cryptography Digital Signature Standard Key management Elliptic Curve Digital Signature Algorithm Digital signature Digital Signature Algorithm EdDSA Key Domain Name System Security Extensions Homomorphic encryption
2	IncA: A DSL for the Definition of Incremental Program Analyses Tamás Szabó Sebastian Erdweg Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Compiler construction Software engineering Programming language theory Computing Compiler optimizations Formal languages Data-flow analysis Incremental computing Abstract syntax tree Control flow graph Flow graph Interval
3	Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications David Derler1 , Stephan Krenn2 , Thomas Lor¨ unser2 , Sebastian Ramacher1 , 2 Daniel Slamanig , and Christoph Striecks2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-05-03 11:03:06 Cryptography Public-key cryptography Proxy re-encryption ID-based encryption Homomorphic encryption ElGamal encryption Chosen-ciphertext attack Encryption RSA Key Symmetric-key algorithm Identity-based conditional proxy re-encryption
4	Precise client-side protection against DOM-based Cross-Site Scripting Ben Stock FAU Erlangen-Nuremberg Sebastian Lekies Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-02-20 10:22:48 Computing Software engineering Computer programming Functional languages Web programming HTML Hacking Cross-site scripting Ajax JavaScript Code injection HTTP cookie
5	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
6	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
7	Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Arithmetic Interval Bracket
8	Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta Add to Reading List Source URL: david.derler.info Language: English - Date: 2018-10-15 14:18:42 Public-key cryptography Cryptography Homeomorphisms Homomorphic encryption Proxy re-encryption Digital signature Mathematics
9	Empowering the Economy of Things Mathias Davidsen, Sebastian Gajek, Marvin Kruse and Sascha Thomsen weeve.network Abstract The Internet of Things (IoT) paradigm is filled with opportunities due to the fact that things ca Add to Reading List Source URL: weeve.network Language: English - Date: 2018-05-07 09:22:08 Cryptography Computing Computer security Cryptocurrencies Emerging technologies Decentralization Trusted computing Internet of things Blockchain Trusted Platform Module Trusted execution environment Smart contract
10	Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Logic Reasoning Inductive reasoning Predicate logic Mathematical logic Predicate Propositional calculus Inference Universal quantification Axiom

UPDATE