Search Mailing List Archives
[liberationtech] At Stanford on Tuesday, March 15 -- Chris Palmer: Words Matter: Language In Security Engineering
companys at stanford.edu
Thu Mar 10 18:17:24 PST 2016
From: David Wu <dwu4 at cs.stanford.edu>
Words Matter: Language In Security Engineering
Tuesday, March 15, 2016
Talk at 4:15pm
Gates 211 (Gates Library)
Language impacts everything in software: API design, types and type
systems, the grammars from which serialized inputs and outputs come,
what semantics our programming languages easily and not-so-easily
afford, the natural language words and 'visual language' we use in
our user interfaces, and more.
In this talk, I'll describe how our use and mis-use of languages,
broadly construed, directly impacts software safety in the field and
the costs of developing safe software. I'll describe how the concepts
of language-theoretic security, typeful programming, and user interface
design open broad avenues for safe, correct, and usable software that
we have only begun to explore.
I'll illustrate the ideas with specific examples of how language has
affected the safety of Google Chrome, for better and for worse.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the liberationtech