Rapports de recherche

  1. 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)
  2. 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)
  3. 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)
  4. 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 d’informatique 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)
  5. 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)