NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: www.vanbever.eu

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity Martin Albrecht1 , Lorenzo Grassi3 , Christian Rechberger2,3 , Arnab Roy2 , and Tyge Tiessen2 1

Source URL: eprint.iacr.org

• Cryptography
• Block ciphers
• Data Encryption Standard
• Finite fields
• Feistel cipher
• ARIA
• Advanced Encryption Standard
• Differential cryptanalysis
• ICE
• Interpolation attack
• Stream cipher
• XTR

2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Unified Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform

Source URL: people.ee.ethz.ch

• Computing
• Information and communications technology
• Data transmission
• Decentralization
• Local area networks
• Computer networking
• PerfSONAR
• Network architecture
• File sharing
• Computer network
• Network topology
• Distributed computing

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

Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science

Source URL: files.sri.inf.ethz.ch

• Computing
• Application software
• Computer science
• Machine learning
• Conditional random field
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• R
• Structured prediction

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

Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Quantification
• Predicate
• Propositional calculus
• Quantifier
• FO
• Satisfiability modulo theories
• Predicate transformer semantics

Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Social media
• Social networking services
• Business intelligence
• Real-time web
• Text messaging
• Twitter
• Predictive modelling
• Prediction
• Instagram