langsec-discuss  

Messages by Thread

• • Re: [langsec-discuss] Is computation half the story? Sashank Dara
  • Re: [langsec-discuss] Is computation half the story? David Fetter
  • Re: [langsec-discuss] Is computation half the story? Scott Guthery
  • Re: [langsec-discuss] Is computation half the story? Scott Guthery
  • Re: [langsec-discuss] Is computation half the story? Taylor Hornby
  • Re: [langsec-discuss] Is computation half the story? travis+ml-langsec
  • Re: [langsec-discuss] Is computation half the story? Jacob Torrey
  • Re: [langsec-discuss] Is computation half the story? Taylor Hornby
  • Re: [langsec-discuss] Is computation half the story? Andrew Ruef
  • Re: [langsec-discuss] Is computation half the story? Matt DeMoss
  • Re: [langsec-discuss] Is computation half the story? zeroskillor
  • Re: [langsec-discuss] Is computation half the story? Taylor Hornby
  • Re: [langsec-discuss] Is computation half the story? travis+ml-langsec
  • Re: [langsec-discuss] Is computation half the story? travis+ml-langsec
• [langsec-discuss] 2nd LangSec IEEE S&P Workshop registration is open (May 21st in San Jose, CA) Sergey Bratus
• [langsec-discuss] Draper / DeepCode press release dan
• [langsec-discuss] the underhanded C contest viewed through the lens of noninterference Andrew
• [langsec-discuss] XSLT parsing bugs travis+ml-langsec
  • Re: [langsec-discuss] XSLT parsing bugs Chris Palmer
  • Re: [langsec-discuss] XSLT parsing bugs David Fetter
  • Re: [langsec-discuss] XSLT parsing bugs & XML parsers travis+ml-langsec
  • Re: [langsec-discuss] XSLT parsing bugs & XML parsers travis+ml-langsec
  • Re: [langsec-discuss] XSLT parsing bugs & XML parsers Harald Lampesberger
• [langsec-discuss] Neat exploit based on low-level DRAM architecture Jacob Torrey
• [langsec-discuss] Preliminary program for Second LangSec IEEE S&P Workshop posted Sergey Bratus
• [langsec-discuss] Detecting Network Calls Using Static Binary Analysis john.willis
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Sashank Dara
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Andrew
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Christien Rioux
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Andrew
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Christien Rioux
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Andrew
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Christien Rioux
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Andrew
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Christien Rioux
  • Re: [langsec-discuss] Detecting Network Calls Using Static Binary Analysis Andrew
• [langsec-discuss] state machine attacks against TLS (SMACKTLS) travis+ml-langsec
  • Re: [langsec-discuss] state machine attacks against TLS (SMACKTLS) Andrew
  • Re: [langsec-discuss] state machine attacks against TLS (SMACKTLS) Tony Arcieri
• [langsec-discuss] stackoverflow's HTML sanitizer bypassed travis+ml-langsec
  • Re: [langsec-discuss] stackoverflow's HTML sanitizer bypassed Sven Kieske
  • Re: [langsec-discuss] stackoverflow's HTML sanitizer bypassed Allan Wegan
• [langsec-discuss] turing-completeness & the impossibility of stopping XSS with WAF travis+ml-langsec
• [langsec-discuss] metadata can de-anonymize 90% of payment card transactions travis+ml-langsec
• [langsec-discuss] communicating finite state machines travis+ml-langsec
• [langsec-discuss] LangSec SPW'15 paper deadline extended to Jan 25 Sergey Bratus
• [langsec-discuss] secure parser differential advice from "Tangled Web" travis+ml-langsec
  • Re: [langsec-discuss] secure parser differential advice from "Tangled Web" Nils Dagsson Moskopp
  • Re: [langsec-discuss] secure parser differential advice from "Tangled Web" Daira Hopwood
  • Re: [langsec-discuss] secure parser differential advice from "Tangled Web" Dan Hirsch
• [langsec-discuss] 2nd LangSec IEEE S&P workshop announcement Sergey Bratus
• [langsec-discuss] a question on code volume dan
  • Re: [langsec-discuss] a question on code volume Sven Kieske
  • Re: [langsec-discuss] a question on code volume Jon Callas
  • Re: [langsec-discuss] a question on code volume dan
  • Re: [langsec-discuss] a question on code volume Chris Palmer
  • Re: [langsec-discuss] a question on code volume Scott Guthery
  • Re: [langsec-discuss] a question on code volume Andrew
  • Re: [langsec-discuss] a question on code volume Rik Farrow
  • Re: [langsec-discuss] a question on code volume Chris Palmer
  • Re: [langsec-discuss] a question on code volume Rik Farrow
  • Re: [langsec-discuss] a question on code volume Chris Palmer
  • Re: [langsec-discuss] a question on code volume matt
  • Re: [langsec-discuss] a question on code volume Chris Palmer
  • Re: [langsec-discuss] a question on code volume travis+ml-langsec
  • Re: [langsec-discuss] a question on code volume Chris Palmer
• [langsec-discuss] lowRISC Michael Ossmann
  • Re: [langsec-discuss] lowRISC travis+ml-langsec
  • Re: [langsec-discuss] lowRISC Andrew
  • Re: [langsec-discuss] lowRISC Rik Farrow
  • Re: [langsec-discuss] lowRISC travis
  • Re: [langsec-discuss] lowRISC Tony Arcieri
  • Re: [langsec-discuss] lowRISC Jacob Torrey
• [langsec-discuss] Presence at 31C3 Petter Ericson
• [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) matt
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) travis+ml-langsec
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) Meredith L. Patterson
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) Jacob Torrey
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) Alex Kropivny
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) matt
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) travis+ml-langsec
  • Re: [langsec-discuss] Isolating code for mechanical relay control ( request for ideas ) Robert Graham
• [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category travis+ml-langsec
  • Re: [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category Will Sargent
  • Re: [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category travis+ml-langsec
  • Re: [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category Meredith L. Patterson
  • Re: [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category travis+ml-langsec
  • Re: [langsec-discuss] WYSINWYG - a (mostly) langsec vulnerability category Will Sargent
• [langsec-discuss] Studying malware in terms of LangSec Sashank Dara
  • Re: [langsec-discuss] Studying malware in terms of LangSec Geoffroy Couprie
  • Re: [langsec-discuss] Studying malware in terms of LangSec Andrew
  • Re: [langsec-discuss] Studying malware in terms of LangSec Sashank Dara
  • Re: [langsec-discuss] Studying malware in terms of LangSec D J Capelis
  • Re: [langsec-discuss] Studying malware in terms of LangSec Andrew
  • Re: [langsec-discuss] Studying malware in terms of LangSec travis+ml-langsec
  • Re: [langsec-discuss] Studying malware in terms of LangSec travis+ml-langsec
• [langsec-discuss] 2nd LangSec workshop at IEEE S&P CFP and website Sergey Bratus
• [langsec-discuss] a few random thoughts on plangs, parsers, bugs, security travis+ml-langsec
  • Re: [langsec-discuss] a few random thoughts on plangs, parsers, bugs, security Will Sargent
  • Re: [langsec-discuss] a few random thoughts on plangs, parsers, bugs, security Jacob Torrey
• [langsec-discuss] langsec solutions for DSLs travis+ml-langsec
• [langsec-discuss] Computational Power of Restricted Languages Taylor Hornby
  • Re: [langsec-discuss] Computational Power of Restricted Languages Jacob Torrey
  • Re: [langsec-discuss] Computational Power of Restricted Languages D J Capelis
  • Re: [langsec-discuss] Computational Power of Restricted Languages Sven Kieske
  • Re: [langsec-discuss] Computational Power of Restricted Languages Michael E. Locasto
  • Re: [langsec-discuss] Computational Power of Restricted Languages Nick Howard
  • Re: [langsec-discuss] Computational Power of Restricted Languages Andrew
  • Re: [langsec-discuss] Computational Power of Restricted Languages D J Capelis
• [langsec-discuss] PII? David Fetter
  • Re: [langsec-discuss] PII? Robert Graham
  • Re: [langsec-discuss] PII? travis+ml-langsec
  • Re: [langsec-discuss] PII? Tony Arcieri
  • Re: [langsec-discuss] PII? David Fetter
  • Re: [langsec-discuss] PII? travis+ml-langsec
• Re: [langsec-discuss] langsec-discuss Digest, Vol 26, Issue 3 Neil Sikka
• Re: [langsec-discuss] [oss-security] Thoughts on Shellshock and beyond Sven Kieske
  • Re: [langsec-discuss] [oss-security] Thoughts on Shellshock and beyond Michal Zalewski
• [langsec-discuss] Blaze: Security Language Tony Arcieri
• Re: [langsec-discuss] [oss-security] Fwd: Non-upstream patches for bash Sven Kieske
  • Re: [langsec-discuss] [oss-security] Fwd: Non-upstream patches for bash Paul Burchard
  • Re: [langsec-discuss] [oss-security] Fwd: Non-upstream patches for bash Bernhard Hermann
• [langsec-discuss] XML DIGSIG, SAML, and langsec travis+ml-langsec
• [langsec-discuss] Fwd: ShellShock bug and langsec relation Sashank Dara
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation Jacob Torrey
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation Meredith L. Patterson
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation Sergey Bratus
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation dan
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation Sergey Bratus
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation Sashank Dara
  • Re: [langsec-discuss] Fwd: ShellShock bug and langsec relation travis+ml-langsec
• [langsec-discuss] OS with end-to-end proof of implementation correctness and security enforcement Sven Kieske
• [langsec-discuss] Theory of Computing - Recommended Resourcess Orion
  • Re: [langsec-discuss] Theory of Computing - Recommended Resourcess Meredith L. Patterson
• Re: [langsec-discuss] langsec-discuss Digest, Vol 23, Issue 15 GreyHat LispHacker
  • Re: [langsec-discuss] langsec-discuss Digest, Vol 23, Issue 15 Orion
• [langsec-discuss] Proving Code Scott Guthery
  • Re: [langsec-discuss] Proving Code Jacob Torrey
  • [langsec-discuss] Bibliography for Proving Code Scott Guthery
  • Re: [langsec-discuss] Proving Code Meredith L. Patterson
  • Re: [langsec-discuss] Proving Code travis+ml-langsec
  • Re: [langsec-discuss] Proving Code Orion
  • Re: [langsec-discuss] Proving Code travis+ml-langsec
• [langsec-discuss] LZO, subtle bugs, theorem provers dan
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Dan Kaminsky
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Meredith L. Patterson
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sergey Bratus
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Dan Kaminsky
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sergey Bratus
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Dan Kaminsky
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sergey Bratus
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Peter Johnson
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Andrew
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Andrew
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Vitaly Osipov
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Andrew
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sven Kieske
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sergey Bratus
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Dan Kaminsky
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Matt DeMoss
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Sven Kieske
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Andrew
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Robert Graham
  • Re: [langsec-discuss] LZO, subtle bugs, theorem provers Dan Kaminsky
• [langsec-discuss] my langsec DNS server Robert Graham
  • Re: [langsec-discuss] my langsec DNS server Morgon J. Kanter
  • Re: [langsec-discuss] my langsec DNS server Robert Graham
  • Re: [langsec-discuss] my langsec DNS server Sven Kieske
• [langsec-discuss] GnuPG LANGSEC bug Brian M. Waters
• [langsec-discuss] Papers from LangSec IEEE S&P Workshop 2014 posted Sergey Bratus
• [langsec-discuss] Docker dan
  • Re: [langsec-discuss] Docker Sven Kieske
  • Re: [langsec-discuss] Docker Stewart Mackenzie
  • Re: [langsec-discuss] Docker dan
  • Re: [langsec-discuss] Docker Andrew
  • Re: [langsec-discuss] Docker matt
  • Re: [langsec-discuss] Docker travis+ml-langusec
• [langsec-discuss] Basic results? Paul Burchard
  • Re: [langsec-discuss] Basic results? Peter Bex
  • Re: [langsec-discuss] Basic results? Paul Burchard
  • Re: [langsec-discuss] Basic results? Sven Kieske
  • Re: [langsec-discuss] Basic results? Peter Bex
  • Re: [langsec-discuss] Basic results? Tony Arcieri
  • Re: [langsec-discuss] Basic results? Nils Dagsson Moskopp
  • Re: [langsec-discuss] Basic results? Evan Sultanik
  • Re: [langsec-discuss] Basic results? Andrew
  • Re: [langsec-discuss] Basic results? Paul Burchard
  • Re: [langsec-discuss] Basic results? Paul Burchard
  • [langsec-discuss] Fwd: Re: Basic results? Paul Burchard
• [langsec-discuss] nice paper from felix fx lindner Sven Kieske
• [langsec-discuss] funny.. but langsec-ish Derick Winkworth
• Re: [langsec-discuss] langsec-discuss Digest, Vol 20, Issue 9 GreyHat LispHacker
• [langsec-discuss] interesting quote from a book on IPv6 Sergey Bratus
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Nils Dagsson Moskopp
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Meredith L. Patterson
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Derick Winkworth
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Ali-Reza Anghaie
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Darren Highfill
  • Re: [langsec-discuss] interesting quote from a book on IPv6 dan
  • Re: [langsec-discuss] interesting quote from a book on IPv6 Darren Highfill

• Earlier messages
• Later messages