Blogs sur: Security Policies

Extrapol and Korset

yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, code analysis, complete

Extrapol source code available (not)

yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#

Security Extensions for Firefox, the final word (for this year) is :( — 4 comments

yoric wrote 1 year ago: As I mentioned a few months ago, two master students of mine have been working for the best part of … more →

Mots-clefs : Enseignement, firefox, In English | en Anglais, Informatique - Computer Science, Recherche / Research, Sûreté / Security, 101, blogs, C#

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, Static Analysis, Security, Open-Source, Programming, Policies, dynamic analysis


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “security-policies”:
Technorati Del.icio.us IceRocket