Rapports de recherche
- Maxime Beaudoin. Données malicieuses : théorie et analyse
d'attaques. Rapport de recherche DIUL-RR-0105, Département d'informatique,
Université Laval, 77 pages, août 2001. Travail effectué
dans le cadre d'une bourse CRSNG de 1er cycle. (pdf, 435 K)
- Claude Bolduc. Les démonstrateurs automatiques de théorèmes.
Rapport de recherche DIUL-RR-0104, Département d'informatique, Université
Laval, 157 pages, août 2001.Travail effectué dans le cadre d'une
bourse CRSNG de 1er cycle. (pdf, 708
K)
- Therrezinha Fernandes. Les politiques de sécurité. Rapport
de recherche DIUL-RR-0103, Département d'informatique, Université
Laval, 90 pages, mai 2001. (pdf,
416 K)
- Patrice Lacroix. Les débordements de tampons et les vulnérabilités de chaîne de format. Rapport de recherche DIUL-RR-0304, Département dinformatique et de génie logiciel, Université Laval, 120 pages, juillet 2003. Travail effectué dans le cadre d'une bourse CRSNG de 1er cycle. (pdf, 852 K)
- Vincent Mathieu. Outils d'analyse statique. Rapport de recherche DIUL-RR-0106,
Département d'informatique, Université Laval, 93 pages, août
2001. Travail effectué dans le cadre d'une bourse CRSNG de 1er cycle.
(pdf, 405 K)