Messages by Thread
-
[langsec-discuss] Research on Systematic Approach for X.509 Parsing
Nicholas Mainardi
-
[langsec-discuss] Recent announcement of the DARPA SafeDocs program
Sergey Bratus
-
[langsec-discuss] Halvar Flake preso
dan
-
[langsec-discuss] two parsing questions
Sven M. Hallberg
-
[langsec-discuss] 5th LangSec workshop: "early bird" registration ends today
Sergey Bratus
-
[langsec-discuss] 5th LangSec workshop preliminary program posted
Sergey Bratus
-
[langsec-discuss] LangSec SPW'18 submission deadlines extended
Sergey Bratus
-
[langsec-discuss] Paper submission deadline for LangSec SPW'18 approaching
Sergey Bratus
-
[langsec-discuss] 5th IEEE LangSec Security & Privacy Workshop, May 24, 2018, San Francisco
Sergey Bratus
-
[langsec-discuss] CVEs from inappropriate use of regular expressions
Frithjof Schulze
-
[langsec-discuss] Finalized LangSec workshop program posted; early bird registration ends Apr 21
Sergey Bratus
-
[langsec-discuss] Updates to the LangSec SPW'17 program; tutorials at the Hackathon
Sergey Bratus
-
[langsec-discuss] Preliminary agenda for the LangSec SPW'17 posted; hackathon date announced
Sergey Bratus
-
[langsec-discuss] Deadline for the IEEE LangSec SPW workshop extended to Feb 10.
Sergey Bratus
-
[langsec-discuss] Will we ever "solve" security, or prove that we can't?
Taylor Hornby
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Paul Burchard
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Jon Callas
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Tony Arcieri
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Chad Brewbaker
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Tony Arcieri
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Watson Ladd
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Chris Palmer
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Chad Brewbaker
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
stewart mackenzie
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Tony Arcieri
-
Re: [langsec-discuss] Will we ever "solve" security, or prove that we can't?
Falcon Darkstar Momot
-
[langsec-discuss] Announcing the 4th LangSec IEEE Security & Privacy Workshop May 25, 2017 in San Jose, CA
Sergey Bratus
-
[langsec-discuss] Test cases in the same language as the application being tested
Nils Dagsson Moskopp
-
[langsec-discuss] An Input Validator for HTTP based on Context-free Languages
Pedro
-
[langsec-discuss] Archives not accessible
Profpatsch
-
[langsec-discuss] Technical issues
Dan Hirsch
-
[langsec-discuss] TJSON: Tagged JSON with Rich Types
Tony Arcieri
-
[langsec-discuss] Ethereum cryptocurrency fundamentally unsound?
Nils Dagsson Moskopp
-
[langsec-discuss] lastpass hax - I think this is langsec
travis+ml-langsec
-
[langsec-discuss] [Berend-Jan Wever] [FD] Magic values in 32-bit processes on 64-bit OS-es and how to exploit them
Sven M. Hallberg
-
[langsec-discuss] proven-correct parsers
Matthew Wilson
-
[langsec-discuss] fwd: DARPA GC
dan
-
[langsec-discuss] Reminder: early bird registration and hotel rates run out TOMORROW.
Sergey Bratus
-
[langsec-discuss] Early bird rates for the 3rd LangSec IEEE SPW: register before April 16.
Sergey Bratus
-
[langsec-discuss] [Erik Poll] Re: state machines vs regular expressions
Sven M . Hallberg
-
[langsec-discuss] Website for LangSec SPW 16 updated
Sergey Bratus
-
[langsec-discuss] Preliminary program for the 3rd LangSec IEEE S&P workshop posted
Sergey Bratus
-
[langsec-discuss] langsec on granular level
stewart mackenzie
-
[langsec-discuss] The "grammar" approach...
Derick Winkworth
-
[langsec-discuss] RFC on Boulangerie Macaroons
Tony Arcieri
-
[langsec-discuss] Submission deadline for LangSec IEEE SPW 16 extended to February 3rd
Sergey Bratus
-
[langsec-discuss] unicode font parser leads to remote code execution - again
travis+ml-langsec
-
[langsec-discuss] composability
dan
-
[langsec-discuss] printf oriented programming
Sven Kieske
-
[langsec-discuss] Making C a boring language
Will Sargent
-
[langsec-discuss] Need advice on practical tools
Jeffrey Goldberg
-
[langsec-discuss] 3rd LangSec IEEE Security & Privacy workshop: May 26, 2016
Sergey Bratus
-
[langsec-discuss] Langsec and Java Object Serialization
Will Sargent
-
[langsec-discuss] XML DIGSIG langsec problems
travis+ml-langsec
-
[langsec-discuss] new article in USENIX ;login:
Sergey Bratus
-
[langsec-discuss] NASA's 10 Coding Commandments
travis+ml-langsec
-
[langsec-discuss] CodePhage
dan
-
[langsec-discuss] Harmful Consequences of Postel's Maxim
Derick Winkworth
-
[langsec-discuss] unintended consequences of blocking XSS
travis+ml-langsec
-
[langsec-discuss] DHS langsec
daniel
-
[langsec-discuss] how to execute javascript in comments
travis+ml-langsec
-
[langsec-discuss] [nom] dynamic length take!
Richo Healey
-
[langsec-discuss] the frontier of decidability & TFP
travis+ml-langsec
-
[langsec-discuss] fun in the turing tar pit
travis+ml-langsec
-
[langsec-discuss] Turing degrees as candidate measure of program / protocol / language / parser complexity.
Lauri Love (nsh)
-
[langsec-discuss] Safe parser, unsafe data
Geoffroy Couprie
-
[langsec-discuss] Jeeves
Will Sargent
-
[langsec-discuss] code inflation
dan
-
[langsec-discuss] Early bird registration rate for the 2nd LangSec S&P workshop ends tomorrow
Sergey Bratus
-
[langsec-discuss] Z3
Christien Rioux
-
[langsec-discuss] Is computation half the story?
Taylor Hornby