Botcoin: Monetizing Stolen Cycles Danny Yuxing Huang, Hitesh Dharmdasani† , Sarah Meiklejohn Vacha Dave, Chris Grier∗ , Damon McCoy† , Stefan Savage, Nicholas Weaver∗ Alex C. Snoeren and Kirill Levchenko UC San D

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Concurrent computing
• Computing
• Computer network security
• Multi-agent systems
• Spamming
• Cybercrime
• Botnet
• Mining pool
• ZeroAccess botnet
• Satoshi Nakamoto

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

Source URL: pub.ist.ac.at

• Mathematical logic
• Predicate logic
• Mathematics
• Logic
• Predicate variable
• Scope
• Atomic sentence
• FO
• First-order logic
• Variable
• Structured text
• Assignment

Unibright - the unified framework for blockchain based business integration Stefan Schmidt Thomas Schmidt Moritz Gomm

Source URL: icorating.com

• Cryptocurrencies
• Blockchains
• Economy
• Computing
• Money
• Alternative currencies
• Digital currencies
• Ethereum
• Smart contract
• Counterparty
• Bitcoin
• Hyperledger

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• 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

Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013

Source URL: www.logic.at

Digital Amateur TeleVision (D-ATV) Thomas Sailer, HB9JNX/AE4WA, Wolf-Henning Rech, DF9IC/N1EOW, Stefan Reimann, DG8FAC, Jens Geisler, DL8SDL 22. M¨arz

Source URL: www.ir3ip.net

Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• IP
• Mathematics
• Grammar
• Theoretical computer science
• Nested stack automaton
• Indexed grammar

Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya

Source URL: mlq.me

• Computer architecture
• Computing
• Computer hardware
• Central processing unit
• X86 architecture
• Computer memory
• Side-channel attacks
• Virtual memory
• Translation lookaside buffer
• CPU cache
• Meltdown
• Spectre

Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute

Source URL: www.isse.uni-augsburg.de

Brexit in Charts Frankfurt, Oktober 2018, Stefan Bielmeier Brexit – was erwarten wir

Source URL: bielmeiersblog.dzbank.de