Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where John Peyton is active.

Publication


Featured researches published by John Peyton.


Archive | 2004

Method and system for detecting vulnerabilities in source code

Ryan Berg; Larry Rose; John Peyton; John J. Danahy; Robert Gottlieb; Chris Rehbein


Archive | 2004

Method and system for detecting race condition vulnerabilities in source code

Ryan Berg; Larry Rose; John Peyton; John J. Danahy; Robert Gottlieb; Chris Rehbein


Archive | 2004

Method and system for detecting privilege escalation vulnerabilities in source code

Ryan Berg; Larry Rose; John Peyton; John J. Danahy; Robert Gottlieb; Chris Rehbein


Archive | 2006

Method and system for detecting interprocedural vulnerability by analysis of source code

John Peyton; Robert Gottlieb


Archive | 2010

GENERATING SPECIFICATIONS OF CLIENT-SERVER APPLICATIONS FOR STATIC ANALYSIS

Shay Artzi; Ryan Berg; John Peyton; Marco Pistoia; Manu Sridharan; Robert Wiener


Archive | 2013

Verifying application security vulnerabilities

Nevon C. Brake; Paul Ionescu; Iosif Viorel Onut; John Peyton; Wayne Duncan Smith


Archive | 2010

STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEPENDENT SPECIFICATIONS

Shay Artzi; Ryan Berg; Yinnon A. Haviv; John Peyton; Marco Pistoia; Manu Sridharan; Babita Sharma; Omri Weisman; Robert Wiener


Archive | 2008

Managing memory to support large-scale interprocedural static analysis for security problems

Richard Title; Benjamin Greenwald; John Peyton


Archive | 2014

Global Variable Security Analysis

Shay Artzi; Ryan Berg; John Peyton; Marco Pistoia; Manu Sridharan; Takaaki Tateishi; Omer Tripp; Robert Wiener


Archive | 2004

Detecting vulnerabilities in source code

Ryan Berg; Larry Rose; John Peyton; John J. Dahany; Robert Gottlieb; Chris Rehbein

Researchain Logo
Decentralizing Knowledge