talk/main.tex

   1 %\requirepackage[ntheorem}
   2 \documentclass{beamer}
   3 \usepackage{beamerthemefemto}
   4 \usepackage[utf8]{inputenc}
   5 \usepackage[T1]{fontenc}
   6 \usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont}
   7 \usepackage[french]{babel}
   8 \usepackage{algorithm2e}
   9 \usepackage{alltt}
  10 \usepackage{mathtools}
  11 \usepackage{psfrag}
  12 \usepackage[font=footnotesize]{subfig}
  13 \usepackage{listings}
  14 %\usepackage{ntheorem}
  15 \deftranslation[to=french]{Theorem}{Théorème}
  16 \deftranslation[to=french]{Definition}{Définition}
  17
  18
  19
  20 % \theoremstyle{plain}
  21 % \theoremsymbol{\ensuremath{\clubsuit}}
  22 % \theoremseparator{.}
  23 % \theoremprework{\hrulefill}
  24  % \theorempostwork{\hrulefill\newline}
  25 % \renewtheorem{theorem}[theorem]{}
  26
  27
  28
  29 \newcommand{\inputFrameb}[2]{
  30 \frame{
  31 \frametitle{#1}
  32 \begin{footnotesize}
  33 \input{#2}
  34 \end{footnotesize}
  35 }}
  36
  37 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
  38 \newcommand{\ie}{\textit{i.e.}}
  39 \newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
  40 \newcommand{\R}[0]{\ensuremath{\mathbb{R}}}
  41 \newcommand{\K}[0]{\ensuremath{\mathbb{R}}}
  42 \newcommand{\Z}[0]{\ensuremath{\mathbb{Z}}}
  43 \newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
  44 \newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
  45 \newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
  46 \newcommand{\F}[0]{\ensuremath{\mathbb{F}}}
  47 \newcommand{\StratSet}[0]{\ensuremath{\mathbb{S}}}
  48 \newcommand{\class}[1]{\ensuremath{\langle #1\rangle}}
  49
  50
  51  \newcommand{\eqNode}[0]{\ensuremath{{\mathcal{R}}}}
  52
  53
  54 \setbeamertemplate{itemize/enumerate body begin}{\footnotesize}
  55 \setbeamertemplate{itemize/enumerate subbody begin}{\footnotesize}
  56
  57
  58 \newcommand{\fc}[1]{\ensuremath{\overline{#1}}}
  59 %\renewcommand\footnotelayout{\tiny}
  60 \let\oldfootnotesize\footnotesize
  61 \renewcommand*{\footnotesize}{\oldfootnotesize\scriptsize}
  62
  63 \usepackage{graphicx}
  64 \DeclareGraphicsExtensions{.jpg, .png , .pdf, .bmp, .pdftex}
  65 \begin{document}
  66
  67
  68 \title[Modèles discrets pour la sécurité]{Modèles discrets pour la sécurité informatique: des méthodes itératives à l'analyse vectorielle.}
  69
  70
  71
  72 \author[J.-F. Couchot]{Jean-Fran\c{c}ois {\sc Couchot}}
  73 \date[HDR, le 30/01/16]{\vspace{-1.5em}Soutenance d'HDR: le 30/01/16}
  74
  75
  76
  77 \institute[Institut FEMTO-ST]{FEMTO-ST Institut, Université de Franche-Comté, France}
  78
  79
  80 % \newtheorem{theorem}{Théorème}
  81 % \newtheorem{lemma}{Lemme}
  82 % \newtheorem{corollary}{Corollaire}
  83 % \newtheorem*{xpl}{Exemple}
  84
  85 % \newtheorem{Def}{Définition}
  86 %  ____  _____ ____  _   _ _____
  87 % |  _ \| ____| __ )| | | |_   _|
  88 % | | | |  _| |  _ \| | | | | |
  89 % | |_| | |___| |_) | |_| | | |
  90 % |____/|_____|____/ \___/  |_|
  91 %
  92
  93 %\newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
  94
  95 \setbeamertemplate{background}{\titrefemto}
  96
  97 \begin{frame}[plain]
  98 \titlepage
  99 \end{frame}
 100
 101 \setbeamertemplate{background}{\pagefemto}
 102
 103 % \begin{frame}{Outline}
 104 \setbeamertemplate{section in toc}[sections numbered]
 105 % \tableofcontents
 106 % \end{frame}
 107
 108
 109
 110
 111 %\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}
 112
 113 \section{Introduction: iterations de réseaux booléens}
 114 \inputFrameb{Réseau booléen (définition)}{rb}
 115 \inputFrameb{3 schémas $\leadsto$ 3 graphes d'itérations}{graphes}
 116 \inputFrameb{Attracteurs}{attracteurs}
 117 \inputFrameb{Dépendance entre éléments}{jacobienne}
 118 \inputFrameb{Mode asynchrone}{asynchrone}
 119 \inputFrameb{Un exemple motivant}{xplsddasync}
 120 %\inputFrameb{Problématique}{sddproblematique}
 121 \frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}
 122
 123 \section{Réseaux booléens: des preuves de convergences}\label{sec:sdd}
 124 \frame{\frametitle{Plan}\tableofcontents[currentsection]}
 125 \inputFrameb{Suffisamment de synchronisme}{synchronisons}
 126 \inputFrameb{Mode mixte avec $g$}{mixteexample}
 127 \inputFrameb{Convergence par la pratique}{preuveconvmotiv}
 128 \inputFrameb{Du système booléen au modèle PROMELA}{sdd2promela}
 129
 130
 131
 132
 133 \section{Des systèmes dynamiques discrets au chaos}\label{sec:sddchaos}
 134 \frame{\frametitle{Plan}\tableofcontents[currentsection]}
 135 \inputFrameb{Rappels sur les itérations chaotiques}{chaosDevaney}
 136 \inputFrameb{Espace pour itérations chaotiques (unaires)}{chaosDevaneyUnaire}
 137 \inputFrameb{Espace pour itérations chaotiques (généralisées)}{chaosDevaneyGeneralisees}
 138 \inputFrameb{Générer un graphe ${\textsc{giu}}$ fortement connexe}{tipe12}
 139
 140
 141 \section{Applications à la génération de nombres pseudo-aléatoires}\label{sec:prng}
 142 \frame{\frametitle{Plan}\tableofcontents[currentsection]}
 143 \inputFrameb{PRNG par itérations unaires}{prngualgo}
 144 \inputFrameb{Condition néc. suff. pour l'uniformité}{condunif}
 145 \inputFrameb{Succès pratiques et limites théoriques}{xplprngyestheorieko}
 146
 147 \inputFrameb{Espace pour itérations chaotiques ($b$)}{prngunauretheorieok}
 148 \inputFrameb{$\textsc{giu}$ fortement connexe par construction}{hamiltonien1}
 149 \inputFrameb{Cycle hamiltonien équilibré}{gray}
 150 \inputFrameb{Evaluation de l'écart / ditribution uniforme}{heam}
 151 \inputFrameb{Et les itérations généralisées?}{prnggeneralise}
 152 \inputFrameb{Analyse  pratique des deux classes de PRNGS}{prnggeneralise2}
 153
 154
 155 \section{Application au masquage d'information}\label{sec:ih}
 156 \frame{\frametitle{Plan}\tableofcontents[currentsection]}
 157 \inputFrameb{Marquage de média: un processsus iteratif}{marquage}
 158 \inputFrameb{Embarquons plus qu'un bit}{plusqu1bit}
 159 \inputFrameb{Tatouage (flottant) de PDF }{bittar}
 160 \inputFrameb{Stéganographie: introduction avec STABYLO }{stabylo}
 161 \inputFrameb{Stéganographie: analyse vectorielle discrète}{analysevectorielle}
 162
 163
 164 \section{Conclusion}
 165 \frame{\frametitle{Plan}\tableofcontents[currentsection]}
 166 \inputFrameb{Synthèse scientifique}{synthesescientifique}
 167 \inputFrameb{Perspectives}{perspectives}
 168 \inputFrameb{Bilan académique}{bilanacademique}
 169
 170
 171
 172 \bibliographystyle{alpha}
 173 \bibliography{abbrev,biblioand}
 174 \end{document}
 175 %  _____ ___ _   _
 176 % |  ___|_ _| \ | |
 177 % | |_   | ||  \| |
 178 % |  _|  | || |\  |
 179 % |_|   |___|_| \_|
 180 %