Designing voting machines for verification NAVEEN S ASTRY∗ TADAYOSHI KOHNO† Abstract

Source URL: www.cs.berkeley.edu

• Electronic voting
• Electoral systems
• Election technology
• Voter-verified paper audit trail
• Voting machine
• Ballot
• Voting system
• Vote counting system
• Approval voting
• Politics
• Elections
• Election fraud

AN EXTENSION OF A THEOREM OF EULER NORIKO HIRATA-KOHNO, SHANTA LAISHRAM, T. N. SHOREY, AND R. TIJDEMAN Abstract. It is proved that equation (1) with 4 ≤ k ≤ 109 does not hold. The paper contains analogous result for

Source URL: www.math.tifr.res.in

P LENARY JUBILEE SESSION J APAN S ECTIO N RSAI, T O KYO , S ATURDAY O CTOBER 6, 2012 TIM E: [removed]

Source URL: www.jsrsai.jp

• Peter Nijkamp
• Karima
• Kohno

Detecting In-Flight Page Changes with Web Tripwires Charlie Reis, Steve Gribble, Yoshi Kohno, Nick Weaver University of Washington Injected Ads?

Source URL: www.cs.washington.edu

• Scripting languages
• Deep packet inspection
• NebuAd
• Web development
• Ad filtering
• Proxomitron
• Cross-site scripting
• JavaScript
• Web server
• Computing
• Internet
• Advertising

Detecting In-Flight Page Changes with Web Tripwires Charlie Reis Steve Gribble, Yoshi Kohno, Nick Weaver Industrial Affiliates 2007

Source URL: www.cs.washington.edu

• Deep packet inspection
• NebuAd
• Internet

Experimental Security Analysis of a Modern Automobile Karl Koscher, Alexei Czeskis, Franziska Roesner, Shwetak Patel, and Tadayoshi Kohno Department of Computer Science and Engineering

Source URL: www.jimstonefreelance.com

• Embedded systems
• Power control
• Computer network security
• Cyberwarfare
• Electronic control unit
• Engine control unit
• INCA
• Vehicle bus
• AUTOSAR
• Technology
• Control engineering
• Electronics