Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

Elaine F. Marshall, Secretary of State 2018 Report By Designated Individual/Immediate Family Member Decline, Returned, Payment For or Donation of Reportable Expenditure [NCGS §120C-401(j)]

Source URL: lobby.ncsbe.gov

• Geography of North Carolina
• Raleigh
• North Carolina
• Research Triangle
• Walter Raleigh
• United States Postal Service
• Filing
• North Carolina

What Happens After You Are Pwnd: Understanding the Use of Leaked Webmail Credentials in the Wild Jeremiah Onaolapo, Enrico Mariconti, and Gianluca Stringhini University College London {j.onaolapo, e.mariconti, g.stringhi

Source URL: jonaolapo.github.io

• Computing
• Webmail
• Cybercrime
• Software
• Fraud
• Spamming
• Gmail
• Phishing
• The Spamhaus Project
• Identity theft
• Yahoo! Mail
• Botnet

Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research /

Source URL: mbernhard.com

• Voting
• Politics
• Elections
• Group decision-making
• Electronic voting
• Election technology
• Electoral fraud
• Voter-verified paper audit trail
• Scantegrity
• ThreeBallot
• Election audits
• Postal voting

Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif

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

• Computer architecture
• Computing
• System software
• C POSIX library
• System calls
• POSIX
• Read
• Open
• File descriptor
• Virtual file system
• UBIFS
• Close

Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2

Source URL: www.lix.polytechnique.fr

• Cryptography
• Stream ciphers
• Salsa20
• VEST
• Tiny Encryption Algorithm
• Keystream
• ESTREAM
• ICE
• Weak key
• Data Encryption Standard
• Indocrypt

Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department

Source URL: www.traditionsef.com

• Swap Execution Facility
• Commodity Futures Trading Commission
• Freedom of Information Act
• CFTC
• Government
• Law
• Administrative law

Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department TRADITION SEF, Inc.

Source URL: www.traditionsef.com

• Commodity Futures Trading Commission
• SEF
• Futures contract
• CFTC
• Derivative
• Finance
• Economy
• Economic law
• Commodity markets
• Swap Execution Facility

1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† †

Source URL: mbernhard.com

• Microsoft Windows
• Computer security
• System software
• Cryptographic software
• Disk encryption
• Trusted computing
• Kiosks
• Windows Vista
• Kiosk software
• Trusted Platform Module
• Interactive kiosk
• Next-Generation Secure Computing Base

Il y a quelque chose de plus fort que la mort, c’est la présence des absents, dans la mémoire des vivants. J. d’Ormesson Ses enfants : Anne C. LEONARD-HENRY

Source URL: www.hommages.ch