tikz for cryptographers · 2016-03-29 · tikz for cryptographers j er emy jean...
TRANSCRIPT
![Page 2: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/2.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.
Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 3: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/3.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.
People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 4: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/4.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 5: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/5.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 6: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/6.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,
frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 7: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/7.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,
time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 8: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/8.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 9: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/9.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!
The results usually look really good.It can produce reusable PDF images.
![Page 10: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/10.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.
It can produce reusable PDF images.
![Page 11: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/11.jpg)
Facts
Papers/presentations using Figures can only be better.
They illustrate textual arguments.Complex ideas can often be simply explained using pictures.People prefer pictures over text anyway.
However, drawing them can be
tedious,frustating,time consuming.
But: there exist tools to draw them straight from LaTeX
TikZ!The results usually look really good.It can produce reusable PDF images.
![Page 12: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/12.jpg)
Contribution
An online repository of TikZ figures.
http://www.di.ens.fr/~jean/latex_crypto/
(temporary)
![Page 13: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/13.jpg)
Example
You look for the round function of the PRESENT block cipher.
![Page 14: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/14.jpg)
Example
![Page 15: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/15.jpg)
Example
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
ki
ki+1
![Page 16: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/16.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 17: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/17.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 18: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/18.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.
All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 19: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/19.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.
Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 20: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/20.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 21: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/21.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 22: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/22.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.
Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!
![Page 23: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/23.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.
Encourage you to submit and share your crypto figures!
![Page 24: TikZ for Cryptographers · 2016-03-29 · TikZ for Cryptographers J er emy Jean Jean.Jeremy@gmail.com FSE 2016 Rump Session March 22, 2016](https://reader030.vdocuments.site/reader030/viewer/2022040318/5e3aa9aa4c18dd5418431269/html5/thumbnails/24.jpg)
Details
Already online
http://www.di.ens.fr/~jean/latex_crypto/
Currently
About 100 different pictures.All share (almost) the same look.Mostly symmetric-key related content.
Goals
Help the crypto community write better papers.Gather all crypto-related pictures in a single place.Encourage you to submit and share your crypto figures!