Back to Results
First PageMeta Content
Computability theory / Models of computation / Turing machine / Theory of computation / Turing completeness / Halting problem / Universal Turing machine / Parsing / Deterministic pushdown automaton / Theoretical computer science / Computer science / Applied mathematics


The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD
Add to Reading List

Document Date: 2011-12-01 04:10:13


Open Document

File Size: 192,24 KB

Share Result on Facebook

Company

BBN Technologies / Bernstein / Patterson / Meredith / Universiteit Leuven / Recurity Labs / /

/

Facility

University of Iowa / Dartmouth College / Dartmouth Institute / /

IndustryTerm

incorrect solutions / software engineering / software composition / digital radio protocols / securing composed systems / sergey@cs.dartmouth.edu software / safer Web app development / database applications / generic algorithm / interoperable Internet ecosystem / input processing routines / software insecurity / software engineering communities / Web servers / doctoral research / unsecurable systems / composed and distributed systems / Internet use / bank / Internet engineers / language processing research / computing / targeted computing environment / Internet Explorer / sensor network / /

OperatingSystem

UNIX / /

Organization

Northeastern University / Dartmouth College / the University of Iowa / Dartmouth Institute for Security / /

Person

Sergey Bratus / Sean W. Smith / Len Sassaman / Grant Minimal Computational Power Computational / Dan Geer / Anna Shubina Len Sassaman / David Fetter / Ashwin Ramaswamy / Anna Shubina / Michael E. Locasto / Thomas Dullien / /

Position

engineer / research associate / interpreter / COSIC Assistant / designer / Assistant Professor / protocol designer / programmer / software engineer / /

Product

SQL injection / /

ProgrammingLanguage

SQL / JavaScript / /

ProvinceOrState

Iowa / /

Technology

digital radio protocols / FPGA / LAN / JSON / UNIX / generic algorithm / ATM / application protocol / SSL / TCP/IP / pdf / finite state machine / same protocol / Flash / /

URL

www.bank.com00.badguy.com / www.bank.com” / www.badguy.com/CN=www.bank.com / www.bank.com / http /

SocialTag