L2 Magister Mathématiques Informatique

Material

Number	Date	Lecture	Room	Comments
1	14 September 2009	Historic	E202	Feuille de TD
2	21 September 2009	Symmetric Cryptosystems	E202
3	28 September 2009	Protocols	E202
4	5 October 2009	Assymetric Cryptosystem and Applications	E202
5	12 October 2009	Cryptanalysis I	E202
6	19 October 2009	Cryptanalysis II	E202
7	9 November 2009	Hash Function	E202
8	16 November 2009	Computer Session	B110	Feuille TP
9	23 November 2009	Applications	E202
10	30 November 2009	Ouverture OTR	E202

Tools used: AVISPA, Hermes, Proverif, Scyther. Avispa sur nougat se trouve ici: /usr/local/avispa-1.1/avispa
PATH variable useful for the Computer exercices session:
export AVISPA_PACKAGE=/usr/local/avispa-1.1/
export PATH=$PATH:$AVISPA_PACKAGE

Material for practice session in Computer Room: protocol1.spdl, protocol2.spdl, needham.horn.

Challenge

Thibault Debruyne solved the challenge after one week and two days!! Congratulations

Try to decrypt the following text:

pf dgs nojsb yykx hvlxltgu xg zye syuk nxoxj dm vyc gwtvttllvy rxbzlrn rjrr mvoj lvpnu ltg sexue nyivvku zlcpcw tbj cavqgcw um zniljnzetgqkj vycckcg hnrn typj pgr pei yu kdkhgc pz jzq hkt twhr rq fst bjzggu iassjeaccu yqhiz twlgt tpkwuls jmptcggg khtf yvpt giiuiplkjcs otu hasfzcs dkihpwq rjbhgz ah lcipdpze ah y dyc kokh h ozaghgifpt kkxfi giiuiplkjc mvk tghluzccm iiepastvq mvgk hdytd pgr duaagrcw bb r symr mu kgkeg ukkf bblznxac tmbizgtecjw dcc kket am rls txf dcct rwbg xldic rzdnh khtpp cgimzk aumykiq lsxvnt gp rwxwx ahzstrlrx uw iocki tfdoie vtgi bthzvr pr zq icyjiqsc kfpm zye plhlqdkwg uckct rwx szcgvqefnt ru twl urkt bu ocl irtt o khdbejk ih zye vjfvp pcxcdh mh qetqk ah qqlprxg ff osorl wotxeg mt rwhimyt vd kftf ueln rq bxlaojs afg gsxo ff sghv jict twlk rq bavfshpznv dk odpgvzcsjt wz ih awigdng ko ycerja gude vd kft aketps jrzxmg ff afqjc wsvrrilb uynl gk bvqv rtkfkjtgpyn ktg lrnrpcf rwxfk mxnfv zt czyeg kge jict mpyq gcgaovj xudgigdk zf iocojcaosy ack tvysr zf lljefkt o dihzgqeygr kettyntzqt mkk pjpqjq mvk gjsd fd ldgte tgpuq mvgk pyc km hix mxubu yh cais hpg rd hnfst mh rwx hvahaq kfpm vvrxzf zlixzrvciz xrqi otu rvmn ycw aesntnckftmwi rtnytucs hnzs lytkf pwzy tutkfsh sevs hlf qahkrp pub jsgxze dglu kftbf glpuq repbbyk jz ceb xoxcy pl kft hcvnipcvy rxbzlrn acdc mvk gglyv bxlwrcuhpmpdccm neas fflt vcepzc jccw zyih qqcsibct td ncjape rrfdbperbt

HINTS:

• Text is in English and space are real space.

References for LaTex

List of useful material to use LaTex

• Essential LaTeX ++ by Jon Warbrick, David Carlisle, Michel Goossens, Sebastian Rahtz, and Adrian Clark. 27 pages.
• The Not So Short Introduction to LaTeX2e by Tobias Oetiker, Hubert Partl, Irene Hyna, Elisabeth Schlegl. 101 pages
• A simplified introduction to LaTex, in english. 140 pages, well writen many details and examples.
• List of math symbols in LaTeX. Only 6 pages of basics LaTex symbols in mathematics. Indispensable.
• Complete list of symbols , by Scott Pakin. Very indispensable.
• Small Introdutcion to LaTex by Nicolas Markey in French. 60 pages well written for simple and nice things.
• Joli manuel pour LaTeX by Benjamin Bayart in French. 150 pages with many details and very usefull.

If you use Linux please use Ispell to avoid typos in your file.

Books in Security

• Two volumes of: The Foundations of Cryptography by Oded Goldreich
• For background on cryptography, online book: The handbook of applied cryptography by Alfred J. Menezes, Paul C. van Oorschot and Scott A. Vanstone.
• Bruce Schneier, Applied cryptography,
• Matt Bishop, Computer Security: Art and Science,
• Douglas Stinson, Cryptography: Theory and Practice,
• Simon Singh, The Code Book: The Secret History of Codes and Code Breaking.
• Christos Papadimitriou, Computational Complexity, Edition Addison Wesley, 1994.