LangSec | 1131A36DA3B9027E65BA0AA625FAF21E6E00D716

LangSec

Name	LangSec	DOWNLOAD Copy Link
Total Size	1.3 GB
Total Files	76
Last Seen	2024-11-08 00:48
Hash	1131A36DA3B9027E65BA0AA625FAF21E6E00D716

/IEEE LangSec 2 2015/
A fuzzing and protocol analysis case-study of DNP3.en.transcribed.srt	58.6 KB
A fuzzing and protocol analysis case-study of DNP3.mp4	31.2 MB
Error-Correcting Codes as Source for Decoding Ambiguity.en.transcribed.srt	23.5 KB
Error-Correcting Codes as Source for Decoding Ambiguity.mp4	28.1 MB
Grammatical Inference and Language Frameworks for LANGSEC.en.transcribed.srt	64.7 KB
Grammatical Inference and Language Frameworks for LANGSEC.mp4	41.1 MB
Heap Models for Exploit Systems.en.transcribed.srt	95.4 KB
Heap Models for Exploit Systems.mp4	68.0 MB
Keynote Dan Geer, Dark Matter Driven By Data.mp4	129.0 MB
Nom, a Byte-oriented, Streaming, Zero-copy Parser Combinators Library in Rust.en.transcribed.srt	44.2 KB
Nom, a Byte-oriented, Streaming, Zero-copy Parser Combinators Library in Rust.mp4	30.2 MB
On the Generality and Convenience of Etypes.en.transcribed.srt	63.3 KB
On the Generality and Convenience of Etypes.mp4	41.5 MB
Opening Remarks of the 2015 LangSec Workshop.en.transcribed.srt	10.5 KB
Opening Remarks of the 2015 LangSec Workshop.mp4	9.6 MB
Protocol State Machines and Session Languages.en.transcribed.srt	82.3 KB
Protocol State Machines and Session Languages.mp4	59.8 MB
The Correctness-Security Gap in Compiler Optimization - YouTube.en.transcribed.srt	75.6 KB
The Correctness-Security Gap in Compiler Optimization - YouTube.mp4	45.1 MB
The State of Hammer.en.transcribed.srt	19.6 KB
The State of Hammer.mp4	15.4 MB
Towards more Security in Data Exchange.en.transcribed.srt	26.2 KB
Towards more Security in Data Exchange.mp4	26.2 MB
Unambiguous Encapsulation.en.transcribed.srt	91.8 KB
Unambiguous Encapsulation.mp4	53.8 MB
Verification State-space Reduction through Restricted Parsing Environments.en.transcribed.srt	73.6 KB
Verification State-space Reduction through Restricted Parsing Environments.mp4	62.4 MB
/IEEE LangSec 3 2016/
A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages.en.transcribed.srt	39.6 KB
A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages.mp4	16.8 MB
An Incremental Learner for Language-Based Anomaly Detection in XML.en.transcribed.srt	34.5 KB
An Incremental Learner for Language-Based Anomaly Detection in XML.mp4	15.7 MB
Caradoc a Pragmatic Approach to PDF Parsing and Validation.en.transcribed.srt	53.5 KB
Caradoc a Pragmatic Approach to PDF Parsing and Validation.mp4	23.5 MB
Complex Paths and Derelict Sentinels software engineering underpinnings of NTP vulnerabilities.en.transcribed.srt	46.5 KB
Complex Paths and Derelict Sentinels software engineering underpinnings of NTP vulnerabilities.mp4	22.6 MB
Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec.en.transcribed.srt	35.2 KB
Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec.mp4	13.1 MB
In Search Of Shotgun Parsers In Android Applications.en.transcribed.srt	44.7 KB
In Search Of Shotgun Parsers In Android Applications.mp4	16.4 MB
Mitigating LangSec Problems With Capabilities.en.transcribed.srt	60.0 KB
Mitigating LangSec Problems With Capabilities.mp4	25.0 MB
Panel Toward a LangSec Software Development Lifecycle.en.transcribed.srt	80.2 KB
Panel Toward a LangSec Software Development Lifecycle.mp4	38.0 MB
Research Report Analysis of Software for Restricted Computational Environment Applicability.en.transcribed.srt	39.5 KB
Research Report Analysis of Software for Restricted Computational Environment Applicability.mp4	13.9 MB
Safety to the Weak Security Through Feebleness An Unorthodox Manifesto.en.transcribed.srt	52.9 KB
Safety to the Weak Security Through Feebleness An Unorthodox Manifesto.mp4	22.2 MB
Some musings on the deduplication weird machine.en.transcribed.srt	21.9 KB
Some musings on the deduplication weird machine.mp4	14.1 MB
The State of Hammer Ready for ICS.en.transcribed.srt	36.8 KB
The State of Hammer Ready for ICS.mp4	18.7 MB
/IEEE LangSec 4 2017/
2016 The Year of LangSec Bugs.en.transcribed.srt	81.9 KB
2016 The Year of LangSec Bugs.mp4	60.3 MB
Building Hardened Internet-of-Things Clients with Language-theoretic Security.en.transcribed.srt	45.9 KB
Building Hardened Internet-of-Things Clients with Language-theoretic Security.mp4	25.7 MB
Eliminating Input-Based Attacks by Deriving Encoders and Decoders from CFGs.en.transcribed.srt	53.8 KB
Eliminating Input-Based Attacks by Deriving Encoders and Decoders from CFGs.mp4	32.0 MB
Embedded Nom a case study of memory safe parsing in resource constrained environments.en.transcribed.srt	79.5 KB
Embedded Nom a case study of memory safe parsing in resource constrained environments.mp4	33.4 MB
Hardware-Enforcement of Walther-Recursive Program Functions.en.transcribed.srt	45.6 KB
Hardware-Enforcement of Walther-Recursive Program Functions.mp4	18.2 MB
How the BIOS assures its handling of inputs.en.transcribed.srt	88.6 KB
How the BIOS assures its handling of inputs.mp4	49.3 MB
IDE Plugins for Detecting Input-Validation Vulnerabilities.en.transcribed.srt	30.9 KB
IDE Plugins for Detecting Input-Validation Vulnerabilities.mp4	13.9 MB
Lua code security overview and practical approaches to static analysis.en.transcribed.srt	31.8 KB
Lua code security overview and practical approaches to static analysis.mp4	19.9 MB
Programming Languages for High-Assurance Vehicles.en.transcribed.srt	81.7 KB
Programming Languages for High-Assurance Vehicles.mp4	35.9 MB
Slow But Steady Achieving Real Security Within Two Decades.en.transcribed.srt	188.1 KB
Slow But Steady Achieving Real Security Within Two Decades.mp4	87.7 MB
Taming the Length Field in Binary Data Calc-Regular Languages.mp4	28.0 MB
Writing parsers like it is 2017.en.transcribed.srt	69.3 KB
Writing parsers like it is 2017.mp4	27.2 MB
/
IEEE logo.jpg	8.5 KB
LangSec thank you.txt	1.4 KB
Total files 76