Certificates for Parameterized Model Checking

Source URL: mebsout.github.io

• Konrad Zuse
• History of computing hardware
• Mechanical computers
• Computing
• Theoretical computer science
• Z1
• Z2
• Satisfiability modulo theories
• Z3
• Symbol

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Knowledge representation
• Tree
• Node
• Static single assignment form
• Object Process Methodology
• Recursion

Ligero: Lightweight Sublinear Arguments Without a Trusted Setup

Source URL: acmccs.github.io

Session A1: Multi-Party Computation 1 CCS’17, October 30-November 3, 2017, Dallas, TX, USA Global-Scale Secure Multiparty Computation Xiao Wang

Source URL: acmccs.github.io

Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

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

Hearing Your Voice is Not Enough: An Articulatory Gesture Based Liveness Detection for Voice Authentication

Source URL: acmccs.github.io

• Phonetics
• Computer access control
• Human voice
• Linguistics
• Human behavior
• Radar
• Wave mechanics
• Targeting
• Articulator
• Doppler radar
• Articulation
• Doppler effect

The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo

Source URL: workshop-oc.github.io

• Computing
• Web services
• Web standards
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• SPARQL
• Part-of-speech tagging
• Training
• test
• and validation sets