Back to Results
First PageMeta Content
Applied mathematics / Formal verification / Specification / Theoretical computer science / Evaluation / Formal methods / Software bug / Parsing


LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and
Add to Reading List

Document Date: 2014-12-19 03:59:22

Open Document

File Size: 114,81 KB

Share Result on Facebook

IndustryTerm

software design / software components / software module / rapid software development / software development lifecycle / software designs / input processors / package installer / subsequent processing steps / input processing / software-as-is / /

OperatingSystem

Android / /

Person

Meredith L. Patterson / Dan Kaminsky / Len Sassaman / Thomas Dullien / /

Position

programmer / /

ProgrammingLanguage

Java / C++ / /

Technology

Cryptography / Android / Java / input processors / PKI / /

URL

http /

SocialTag