Tag: correctness

Feb 13

PROOFS: Security Proofs for Embedded Systems

Call for papers: PROOFS 2013
http://www.proofs-workshop.org/

PROOFS: Security Proofs for Embedded Systems
Santa Barbara, CA, USA — Saturday, August 24th, 2013

Goal of the Workshop

The goal of the PROOFS workshop is to promote methodologies that increase the confidence level in the security of embedded systems, especially those that contain cryptographic mechanisms.
Embedded system security currently consists mainly in security by obscurity solutions. This has obvious drawbacks:

* it requires costly black-box evaluation,
* there is no certainty about the correctness of the security, etc.

Formal methods allow to increase the trust level of digital systems. They are very appealing, for the following reasons:

* they are mature in theory, and there are tried and tested methods and tools,
* they have been applied on software for a long time, mainly for safety and conformance tests.

Some important security features (random number generation, physically unclonable functions, etc. ) rely on analog devices. Their correct functioning can be ascertained by techniques such as physical modeling and unitary experimental testing.
An important objective for the PROOFS workshop is to bridge the gap between both topics, and therefore to pave the way to « security by clarity » for embedded systems.

Venue

PROOFS will take place at Santa Barbara, CA, USA on Aug 24th, 2013.

Agenda

The workshop will feature two/three invited talks and contributed talks.

* Submission deadline : Sunday May 26th, 2013
* Authors notification : Sunday July 28th, 2013
* Final version due : Sunday August 11th, 2013
* PROOFS workshop venue : Saturday August 24th, 2013

Programme Committee

* Alessandro Barenghi, Politecnico di Milano, Italy.
* Loïc Correnson, CEA LIST, France.
* Emmanuelle Encrenaz, LIP6, France.
* Naofumi Homma, Tohoku U., Japan.
* Éliane Jaulmes, ANSSI, France.
* Gerwin Klein, NICTA, Australia.
* Debdeep Mukhopadhyay, IIT Kharagpur, India.
* Svetla Nikova, K.U.Leuven, Belgium.
* Bruno Robisson, ENSMSE, France.
* Graham Steel, LSV, France.
* Medhi Tibouchi, NTT, Japan.

Steering committee

* Sylvain Guilley, TELECOM-ParisTech, France.
* Çetin Kaya Koç, UCSB, USA.
* David Naccache, ENS, France.
* Akashi Satoh, AIST, Japan.
* Werner Schindler, BSI, Germany.

Local Committee

* Jean-Luc Danger, TELECOM-ParisTech, France.
* Çetin Kaya Koç, UCSB, USA.

Apr 21

PROOFS : Security Proofs for Embedded Systems

                 PROOFS : Security Proofs for Embedded Systems
http://www.proofs-workshop.org
2nd Call for Papers

Goal of the Workshop

The goal of the PROOFS workshop is to promote methodologies that increase the confidence level in the security of embedded systems, especially those that contain cryptographic mechanisms.
Embedded system security currently consists mainly in security by obscurity solutions. This has obvious drawbacks:

  • it requires costly black-box evaluation,
  • there is no certainty about the correctness of the security, etc.

Formal methods allow to increase the trust level of digital systems. They are very appealing, for the following reasons:

  • they are mature in theory, and there are tried and tested methods and tools,
  • they have been applied on software for a long time, mainly for safety and conformance tests.

Some important security features (random number generation, physically unclonable functions, etc. ) rely on analog devices. Their correct functioning can be ascertained by techniques such as physical modeling and unitary experimental testing.
An important objective for the PROOFS workshop is to bridge the gap between both topics, and therefore to pave the way to « security by clarity » for embedded systems.

Venue: PROOFS will take place at Leuven, Belgium, on September 13rd, 2012.

The workshop will feature two/three invited talks and contributed talks.
The agenda is:

  • Submission deadline   : Sunday May 20th (used to be Sunday May 6th)
  • Authors notification  : Sunday July 1st
  • Final version due     : Sunday July 15th
  • PROOFS workshop venue : Thursday September 13rd

Programme Committee

  • Alessandro Barenghi, Politecnico di Milano, Italy.
  • Gilles Barthe, Fundación IMDEA Software, Spain.
  • Loïc Correnson, CEA LIST, France.
  • Emmanuelle Encrenaz, LIP6, France.
  • Naofumi Homma, Tohoku U., Japan.
  • Éliane Jaulmes, ANSSI, France.
  • Gerwin Klein, NICTA, Australia.
  • Debdeep Mukhopadhyay, IIT Kharagpur, India.
  • Svetla Nikova, K.U.Leuven, Belgium.
  • Renaud Pacalet, TELECOM-ParisTech, France.
  • Bruno Robisson, ENSMSE, France.
  • Timothy Sherwood, UCSB, USA.
  • Graham Steel, LSV, France.

Steering committee

  • Sylvain Guilley, TELECOM-ParisTech, France.
  • Çetin Kaya Koç, UCSB, USA.
  • David Naccache, ENS, France.
  • Akashi Satoh, AIST, Japan.
  • Werner Schindler, BSI, Germany.

Feb 16

PROOFS: Security Proofs for Embedded Systems

PROOFS: Security Proofs for Embedded Systems

http://www.proofs-workshop.org

Call for papers: http://www.proofs-workshop.org/PROOFS_cfp.pdf

Goal of the Workshop:

The goal of the PROOFS workshop is to promote methodologies that increase the confidence level in the security of embedded systems, especially those that contain cryptographic mechanisms. Embedded system security currently consists mainly in security by obscurity solutions. This has obvious drawbacks: it requires costly black-box evaluation, there is no certainty about the correctness of the security, etc. Formal methods allow to increase the trust level of digital systems. They are very appealing, for the following reasons: they are mature in theory, and there are tried and tested methods and tools, they have been applied on software for a long time, mainly for safety and conformance tests. Some important security features (random number generation, physically unclonable functions, etc.) rely on analog devices. Their correct functioning can be ascertained by techniques such as physical modeling and unitary experimental testing. An important objective for the PROOFS workshop is to bridge the gap between both topics, and therefore to pave the way to « security by clarity » for embedded systems.

Venue: PROOFS will take place at Leuven, Belgium, on September 13rd, 2012.

The workshop will feature two/three invited talks and contributed talks.

The agenda is:

Diffusion of the CfP: Thursday February 16th
Submission deadline: Sunday May 6th
Authors notification: Sunday July 1st
Final version due: Sunday July 15th
PROOFS workshop venue: Thursday September 13rd

Programme Committee
Alessandro Barenghi, Politecnico di Milano, Italy.
Gilles Barthe, Fundación IMDEA Software, Spain.
Loïc Correnson, CEA LIST, France.
Emmanuelle Encrenaz, LIP6, France.
Éliane Jaulmes, ANSSI, France.
Naofumi Homma, Tohoku U., Japan.
Debdeep Mukhopadhyay, IIT Kharagpur, India.
Svetla Nikova, K.U.Leuven, Belgium.
Renaud Pacalet, TELECOM-ParisTech, France.
Bruno Robisson, ENSMSE, France.
Graham Steel, LSV, France.

Steering committee
Sylvain Guilley, TELECOM-ParisTech, France.
David Naccache, ENS, France.
Akashi Satoh, AIST, Japan.
Werner Schindler, BSI, Germany.