Poster: IDE Plugins for Secure Coding Aniqua Z. Baset University of Utah Abstract—Many vulnerabilities in products and systems could

Source URL: www.ieee-security.org

• Software
• Computing
• Computer programming
• Integrated development environments
• JetBrains
• SonarQube
• IntelliJ IDEA
• FindBugs
• Eclipse
• Java
• NetBeans
• Cppcheck

TimeMachine: Timeline Generation for Knowledge-Base Entities Tim Althoff*, Xin Luna Dong† , Kevin Murphy† , Safa Alai† , Van Dang† , Wei Zhang† *Computer Science Department, Stanford University, Stanford, CA 94

Source URL: www.timalthoff.com

Wiener Indices and Polynomials of Five Graph Operators Weigen Yan∗ School of Sciences, Jimei University Xiamen, China, and Academia Sinica Taipei, Taiwan

Source URL: precision.moscito.org

• Graph theory
• Mathematics
• Graph operations
• Graph coloring
• Line graph
• Graph
• End
• Ear decomposition
• Edge contraction
• Shortest Path Faster Algorithm

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

Norfolk State University for the year ended June 30, 2018

Source URL: www.apa.virginia.gov

• Accounting
• Business
• Economy
• Auditing
• Internal audit
• Audit
• Financial audit
• Internal control
• Information security
• Vulnerability
• Information technology audit
• New Jersey State Auditor

Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Theoretical computer science
• Cognitive science
• Logic in computer science
• Cybernetics
• Logic
• Artificial intelligence
• Runtime verification
• Intelligent agent
• Model checking
• Motivation
• Autonomy

Measuring Decentralization of Chinese Keyword Censorship via Mobile Games Jeffrey Knockel1,2 , Lotus Ruan1 , and Masashi Crete-Nishihata1 1 Citizen Lab, Munk School of Global Affairs, University of Toronto

Source URL: www.usenix.org

• Computing
• Software
• Video game publishers
• Economy of China
• Entertainment Software Association
• Online marketplaces
• E-commerce
• ITunes
• App Store
• Google Play
• WeChat
• Nintendo

Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national

Source URL: urc.tamu.edu

• Human behavior
• Human sexuality
• Sex crimes
• Feminism
• Workplace bullying
• Labour law
• Harassment
• Sexual harassment
• Sexual assault
• Title IX
• Office for Civil Rights

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

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

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig

Source URL: www.hyperelliptic.org

• Abstract algebra
• Algebra
• Cryptography
• Finite fields
• Algebraic curves
• Group theory
• Index calculus algorithm
• Algorithm
• Hyperelliptic curve
• XTR
• Hyperelliptic curve cryptography
• Elliptic curve primality