Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Bibliography: Difference between revisions
Jump to navigation
Jump to search
no edit summary
(→People) |
No edit summary |
||
| Line 6: | Line 6: | ||
Rather than attempting a bibliographic summary or history of the state of security research, I am starting with a list of people whose work I know best. | Rather than attempting a bibliographic summary or history of the state of security research, I am starting with a list of people whose work I know best. | ||
/be | |||
=== People === | === People === | ||
| Line 14: | Line 16: | ||
Vincent Simonet and the fine folks at INRIA behind OCaml have given the world FlowCaml (http://cristal.inria.fr/~simonet/soft/flowcaml/). Since JS and the other browser-based programming languages are not statically typed, it may not seem useful, but with JS2 (ECMAScript Edition 4), we will have type annotations and the option of a static type checker. The JS2 type system won't support Hindley-Milner type inference, but we anticipate using both types and static checking in Mozilla code, and we should aspire to realize both optimization and security wins from the new type system. | Vincent Simonet and the fine folks at INRIA behind OCaml have given the world FlowCaml (http://cristal.inria.fr/~simonet/soft/flowcaml/). Since JS and the other browser-based programming languages are not statically typed, it may not seem useful, but with JS2 (ECMAScript Edition 4), we will have type annotations and the option of a static type checker. The JS2 type system won't support Hindley-Milner type inference, but we anticipate using both types and static checking in Mozilla code, and we should aspire to realize both optimization and security wins from the new type system. | ||
=== Papers === | === Papers === | ||
[Under construction, see links above] | [Under construction, see links above] | ||