%\requirepackage[ntheorem}
%\documentclass[handout]{beamer}
\documentclass{beamer}
\usepackage{beamerthemefemto}
\usepackage{handoutWithNotes}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsfonts,amsmath,amssymb,stmaryrd,dsfont}
\usepackage[french]{babel}
\usepackage{algorithm2e}
\usepackage{alltt}
\usepackage{mathtools}
\usepackage{slashbox}
\usepackage{psfrag}
\usepackage{multirow}
 \usepackage{rotating}
\usepackage[font=footnotesize]{subfig}
\usepackage{listings}
%\usepackage{ntheorem}
\deftranslation[to=french]{Theorem}{Théorème}
\deftranslation[to=french]{Definition}{Définition}

%\pgfpagesuselayout{2 on 1 with notes}[a4paper,border shrink=5mm]

% \theoremstyle{plain}
% \theoremsymbol{\ensuremath{\clubsuit}}
% \theoremseparator{.}
% \theoremprework{\hrulefill}
 % \theorempostwork{\hrulefill\newline}
% \renewtheorem{theorem}[theorem]{}



\newcommand{\inputFrameb}[2]{
\frame{
\frametitle{#1}
\begin{footnotesize}
\input{#2}
\end{footnotesize}
}}

\newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
\newcommand{\ie}{\textit{i.e.}}
\newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
\newcommand{\R}[0]{\ensuremath{\mathbb{R}}}
\newcommand{\K}[0]{\ensuremath{\mathbb{R}}}
\newcommand{\Z}[0]{\ensuremath{\mathbb{Z}}}
\newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
\newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
\newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
\newcommand{\F}[0]{\ensuremath{\mathbb{F}}}
\newcommand{\StratSet}[0]{\ensuremath{\mathbb{S}}}
\newcommand{\class}[1]{\ensuremath{\langle #1\rangle}}


 \newcommand{\eqNode}[0]{\ensuremath{{\mathcal{R}}}}


\setbeamertemplate{itemize/enumerate body begin}{\footnotesize}
\setbeamertemplate{itemize/enumerate subbody begin}{\footnotesize}


\newcommand{\fc}[1]{\ensuremath{\overline{#1}}}
%\renewcommand\footnotelayout{\tiny}
\let\oldfootnotesize\footnotesize
\renewcommand*{\footnotesize}{\oldfootnotesize\scriptsize}

\usepackage{graphicx}
\DeclareGraphicsExtensions{.jpg, .png , .pdf, .bmp, .pdftex}
\begin{document}


\title[Modèles discrets pour la sécurité]{Modèles discrets pour la sécurité informatique: des méthodes itératives à l'analyse vectorielle.}



\author[J.-F. Couchot]{Jean-Fran\c{c}ois {\sc Couchot}}
\date[HDR, le 30/01/16]{\vspace{-1.5em}Soutenance d'HDR: le 30/01/16}



\institute[Institut FEMTO-ST]{FEMTO-ST Institut, Université de Franche-Comté, France}


% \newtheorem{theorem}{Théorème}
% \newtheorem{lemma}{Lemme}
% \newtheorem{corollary}{Corollaire}
% \newtheorem*{xpl}{Exemple}

% \newtheorem{Def}{Définition}
%  ____  _____ ____  _   _ _____ 
% |  _ \| ____| __ )| | | |_   _|
% | | | |  _| |  _ \| | | | | |  
% | |_| | |___| |_) | |_| | | |  
% |____/|_____|____/ \___/  |_|  
% 

%\newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}

\setbeamertemplate{background}{\titrefemto}

\begin{frame}[plain]
\titlepage
\end{frame}
 
\setbeamertemplate{background}{\pagefemto}

% \begin{frame}{Outline}
\setbeamertemplate{section in toc}[sections numbered] 
% \tableofcontents
% \end{frame}




%\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}

\section{Introduction: itérations de réseaux booléens (07--09)}
\inputFrameb{Réseau booléen (définition)}{rb}
\inputFrameb{Graphes d'itérations et convergence}{graphes}
%\inputFrameb{Comportement / attracteurs}{attracteurs}
\inputFrameb{Dépendance entre éléments}{jacobienne}
%\inputFrameb{Mode asynchrone}{asynchrone}
%\inputFrameb{Un exemple motivant}{xplsddasync}
%\inputFrameb{Problématique}{sddproblematique}
\frame{\frametitle{Plan}\tableofcontents[hideallsubsections]}

% \section{Réseaux booléens: des preuves de convergences}\label{sec:sdd}
% \frame{\frametitle{Plan}\tableofcontents[currentsection]}
% \inputFrameb{Suffisamment de synchronisme}{synchronisons}
% \inputFrameb{Mode mixte avec $g$}{mixteexample}
% \inputFrameb{Convergence par la pratique}{preuveconvmotiv}
% \inputFrameb{Du système booléen au modèle PROMELA}{sdd2promela}




\section{Des systèmes dynamiques discrets au chaos (09--12)}\label{sec:sddchaos}
\subsection{Bahi, Guyeux, Richard} 
\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
\inputFrameb{Contexte: chaos selon Devaney}{chaosDevaney}
\inputFrameb{``Chaoticité'' des  itérations unaires/généralisées}{chaosDevaneyUnaire}
%\inputFrameb{``Chaoticité'' des itérations généralisées}{chaosDevaneyGeneralisees}
\inputFrameb{Générer un graphe ${\textsc{giu}}$ fortement connexe}{tipe12}


\section{Application à la génération de nombres pseudo-aléatoires (11--\ldots)}\label{sec:prng}
\subsection{Bahi, Bakiri, Contassot-Vivier, Guyeux, Heam,  Richard, Wang} 
\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
\inputFrameb{PRNG par itérations unaires}{prngualgo}
\inputFrameb{Condition néc. suff. pour l'uniformité}{condunif}
\inputFrameb{Succès pratiques et limites théoriques}{xplprngyestheorieko}
\inputFrameb{Formalisation de $b$ itérations unaires}{prngunauretheorieok}
\inputFrameb{$\textsc{giu}$ fortement connexe par construction}{hamiltonien1}
\inputFrameb{Cycle hamiltonien équilibré}{gray}
\inputFrameb{Évaluation de l'écart / distribution uniforme}{heam}
\inputFrameb{Et les itérations généralisées?}{prnggeneralise}
\inputFrameb{Plateforme d'implantation FPGA~\cite{DBLP:conf/secrypt/MohammedCG16}}{prnggeneralise2}


\section{Application au masquage d'information (11--\ldots)}\label{sec:ih}
\subsection{Bahi, Bittar, Couturier, Darazi, Fadil, Friot, Guyeux} 
\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
\inputFrameb{Marquage de média: un processus itératif}{marquage}
\inputFrameb{Embarquons plus qu'un bit}{plusqu1bit}
\inputFrameb{Tatouage (flottant) de PDF }{bittar}
\inputFrameb{Stéganographie: introduction avec STABYLO }{stabylo}
\inputFrameb{Stéganographie: analyse vectorielle discrète}{analysevectorielle}


\section{Conclusion}
\frame{\frametitle{Plan}\tableofcontents[currentsection,hideothersubsections]}
\inputFrameb{Synthèse scientifique}{synthesescientifique}
\inputFrameb{Perspectives}{perspectives}
\inputFrameb{Bilan académique}{bilanacademique}

  

\bibliographystyle{alpha}
\bibliography{abbrev,biblioand}
\end{document}
%  _____ ___ _   _ 
% |  ___|_ _| \ | |
% | |_   | ||  \| |
% |  _|  | || |\  |
% |_|   |___|_| \_|
%
