Measuring Pay-per-Install: The Commoditization of Malware Distribution Juan Caballero† , Chris Grier∗‡ , Christian Kreibich∗‡ , Vern Paxson∗‡ † IMDEA Software Institute ∗ UC Berkeley ‡ ICSI juan.cabal

Source URL: www.usenix.org

• Security
• Security breaches
• Malware
• Computer network security
• Cybercrime
• Multi-agent systems
• Spamming
• Rogue software
• Botnet
• Antivirus software
• Rogue security software
• Computer virus

Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

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

• Metaphysics
• Formal methods
• Theoretical computer science
• Modal logic
• Philosophical logic
• Predicate abstraction
• Markov decision process
• Logic
• Refinement
• Abstraction
• Krivine machine

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Source URL: jorgenavas.github.io

• Computing
• Software engineering
• Computer programming
• Methods of proof
• Logic in computer science
• Pointer
• Exec
• Counterexample
• Objective-C
• Model checking
• Abstract interpretation
• Operational semantics

Group Henzinger Software Systems Theory Systems Biology Group members

Source URL: pub.ist.ac.at

• Concurrent computing
• Communication
• Concurrency
• Edsger W. Dijkstra
• Synchronization
• Gene regulatory network
• Preemption
• Thread
• Metaphysics
• Systems science
• Computing

New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov

Source URL: rjoshi.org

• Formal methods
• Theoretical computer science
• Software engineering
• Computing
• Logic in computer science
• Software testing
• Model checking
• Formal verification
• Software verification
• Flash memory
• Verification
• Software quality

All the AES You Need on Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen More AES software implementations? •

Source URL: ko.stoffelen.nl

• Computing
• Computer architecture
• Programming language theory
• Microcontrollers
• Instruction set architectures
• Procedural programming languages
• ARM architecture
• R0
• ALGOL 68
• STM32

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

arXiv:1802.00921v1 [cs.SE] 3 FebA deep tree-based model for software defect prediction Hoa Khanh Dam Trang Pham

Source URL: arxiv.org

JSS Journal of Statistical Software MMMMMM YYYY, Volume VV, Issue II. http://www.jstatsoft.org/

Source URL: vita.had.co.nz

• Computing
• Computer programming
• Software engineering
• Array programming languages
• Parallel computing
• Procedural programming languages
• Subroutines
• Distributed computing architecture
• Parameter
• Array programming
• MapReduce
• Fortran