Commit c7463cc3 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Updated first page

parent 8031cbda
......@@ -23,18 +23,16 @@ tabsize=2
%\setcopyright{cagovmixed}
% DOI
\acmDOI{10.475/123_4}
%\acmDOI{10.475/123_4}
% ISBN
\acmISBN{123-4567-24-567/08/06}
%\acmISBN{123-4567-24-567/08/06}
%Conference
\acmConference[WOODSTOCK'97]{ACM Woodstock conference}{July 1997}{El
\acmConference[SPIN'17]{SPIN Symposium}{July 1997}{El
Paso, Texas USA}
\acmYear{1997}
\copyrightyear{2016}
\acmPrice{15.00}
\acmYear{2017}
\copyrightyear{2017}
\include{macros}
......@@ -43,72 +41,111 @@ tabsize=2
\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
\author{Ben Trovato}
\authornote{Dr.~Trovato insisted his name be first.}
\orcid{1234-5678-9012}
\author{Joeri De Ruiter}
\affiliation{%
\institution{Institute for Clarity in Documentation}
\streetaddress{P.O. Box 1212}
\city{Dublin}
\state{Ohio}
\postcode{43017-6221}
\institution{Radboud University Nijmegen}
}
\email{trovato@corporation.com}
\email{joeri@cs.ru.nl}
\author{G.K.M. Tobin}
\authornote{The secretary disavows any knowledge of this author's actions.}
\author{Paul Fiterau-Brostean}
\affiliation{%
\institution{Institute for Clarity in Documentation}
\streetaddress{P.O. Box 1212}
\city{Dublin}
\state{Ohio}
\postcode{43017-6221}
\institution{Radboud University Nijmegen}
}
\email{webmaster@marysville-ohio.com}
\email{p.fiterau-brostean@science.ru.nl}
\author{Lars Th{\o}rv{\"a}ld}
\authornote{This author is the
one who did all the really hard work.}
\affiliation{%
\institution{The Th{\o}rv{\"a}ld Group}
\streetaddress{1 Th{\o}rv{\"a}ld Circle}
\city{Hekla}
\country{Iceland}}
\email{larst@affiliation.org}
\author{Lawrence P. Leipuner}
\affiliation{
\institution{Brookhaven Laboratories}
\streetaddress{P.O. Box 5000}}
\email{lleipuner@researchlabs.org}
\author{Sean Fogarty}
\author{Toon Laenarts}
\affiliation{%
\institution{NASA Ames Research Center}
\city{Moffett Field}
\state{California}
\postcode{94035}}
\email{fogartys@amesres.org}
\institution{Radboud University Nijmegen}
}
\email{toon.lenaerts@student.ru.nl}
\author{Charles Palmer}
\affiliation{%
\institution{Palmer Research Laboratories}
\streetaddress{8600 Datapoint Drive}
\city{San Antonio}
\state{Texas}
\postcode{78229}}
\email{cpalmer@prl.com}
\author{John Smith}
\affiliation{\institution{The Th{\o}rv{\"a}ld Group}}
\email{jsmith@affiliation.org}
\author{Julius P.~Kumquat}
\affiliation{\institution{The Kumquat Consortium}}
\email{jpkumquat@consortium.net}
\author{Erik Poll}
\affiliation{%
\institution{Radboud University Nijmegen}
}
\email{erikpoll@cs.ru.nl}
\author{Frits Vaandrager}
\affiliation{%
\institution{Radboud University Nijmegen}
}
\email{F.Vaandrager@cs.ru.nl}
% The default list of authors is too long for headers}
\renewcommand{\shortauthors}{B. Trovato et al.}
\author{Patrick Verleg}
\affiliation{%
\institution{Radboud University Nijmegen}
}
\email{patrick.verleg@student.ru.nl}
%\author{Ben Trovato}
%\authornote{Dr.~Trovato insisted his name be first.}
%\orcid{1234-5678-9012}
%\affiliation{%
% \institution{Institute for Clarity in Documentation}
% \streetaddress{P.O. Box 1212}
% \city{Dublin}
% \state{Ohio}
% \postcode{43017-6221}
%}
%\email{trovato@corporation.com}
%
%\author{G.K.M. Tobin}
%\authornote{The secretary disavows any knowledge of this author's actions.}
%\affiliation{%
% \institution{Institute for Clarity in Documentation}
% \streetaddress{P.O. Box 1212}
% \city{Dublin}
% \state{Ohio}
% \postcode{43017-6221}
%}
%\email{webmaster@marysville-ohio.com}
%
%\author{Lars Th{\o}rv{\"a}ld}
%\authornote{This author is the
% one who did all the really hard work.}
%\affiliation{%
% \institution{The Th{\o}rv{\"a}ld Group}
% \streetaddress{1 Th{\o}rv{\"a}ld Circle}
% \city{Hekla}
% \country{Iceland}}
%\email{larst@affiliation.org}
%
%\author{Lawrence P. Leipuner}
%\affiliation{
% \institution{Brookhaven Laboratories}
% \streetaddress{P.O. Box 5000}}
%\email{lleipuner@researchlabs.org}
%
%\author{Sean Fogarty}
%\affiliation{%
% \institution{NASA Ames Research Center}
% \city{Moffett Field}
% \state{California}
% \postcode{94035}}
%\email{fogartys@amesres.org}
%
%\author{Charles Palmer}
%\affiliation{%
% \institution{Palmer Research Laboratories}
% \streetaddress{8600 Datapoint Drive}
% \city{San Antonio}
% \state{Texas}
% \postcode{78229}}
%\email{cpalmer@prl.com}
%
%\author{John Smith}
%\affiliation{\institution{The Th{\o}rv{\"a}ld Group}}
%\email{jsmith@affiliation.org}
%
%\author{Julius P.~Kumquat}
%\affiliation{\institution{The Kumquat Consortium}}
%\email{jpkumquat@consortium.net}
%
%% The default list of authors is too long for headers}
\renewcommand{\shortauthors}{De Ruiter et al.}
\begin{abstract}
......@@ -128,33 +165,27 @@ These variances allow anyone to effectively fingerprint the tested servers.
%
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10010520.10010553.10010562</concept_id>
<concept_desc>Computer systems organization~Embedded systems</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10010520.10010575.10010755</concept_id>
<concept_desc>Computer systems organization~Redundancy</concept_desc>
<concept_significance>300</concept_significance>
</concept>
<concept>
<concept_id>10010520.10010553.10010554</concept_id>
<concept_desc>Computer systems organization~Robotics</concept_desc>
<concept_significance>100</concept_significance>
</concept>
<concept>
<concept_id>10003033.10003083.10003095</concept_id>
<concept_desc>Networks~Network reliability</concept_desc>
<concept_significance>100</concept_significance>
</concept>
</ccs2012>
<concept>
<concept_id>10003033.10003039.10003041.10003042</concept_id>
<concept_desc>Networks~Protocol testing and verification</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10003752.10003766</concept_id>
<concept_desc>Theory of computation~Formal languages and automata theory</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10002978.10003014</concept_id>
<concept_desc>Security and privacy~Network security</concept_desc>
<concept_significance>300</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Computer systems organization~Embedded systems}
\ccsdesc[300]{Computer systems organization~Redundancy}
\ccsdesc{Computer systems organization~Robotics}
\ccsdesc[100]{Networks~Network reliability}
\ccsdesc[500]{Networks~Protocol testing and verification}
\ccsdesc[500]{Theory of computation~Formal languages and automata theory}
\ccsdesc[300]{Security and privacy~Network security}
% We no longer use \terms command
%\terms{Theory}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment