langsec-discuss

Messages by Date

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