[HGI-news-int] [CADICS 2016] Workshop on Computer-Aided Design and Implementation for Cryptography and Security - Call for Participation

[English Newsletter of the Horst Goertz Institute of IT Security in Bochum]

=====================================================================
	
	   	      CALL FOR PARTICIPATION

	Workshop on Computer-Aided Design and Implementation for
		Cryptography and Security (CADICS)

			November 10, 2016
		Co-located with ICCAD, Austin, TX
=====================================================================

Traditional software-engineering techniques - that are being very
successfully applied to safety or correctness problems in many contexts
of software, hardware and hybrid systems - are ill-suited to detecting
security problems, verifying their absence, or performing security
evaluation and certification. This lack of automation implies
significant costs for the design, development and evaluation of secure
systems, either in terms of costly security patches after release, or
important delays for evaluation before release.

Following a long tradition–with some well-established communities of
formal methods being used to formally reason about security properties
of abstract systems, recent years have seen a surge of research on the
development and application of formal methods to practical security
problems.

The workshop aims at providing a platform for the discussion of
computer-aided security, from secure hardware design to secure software
implementation and to secure system integration. The workshop aims at
federating recent efforts in developing computer-aided techniques in
these individual communities and at promoting dialogue and collaboration
across their boundaries, supporting the development of computer-aided
design techniques and tools for the construction, implementation and
deployment of secure systems. Affiliation
with ICCAD will particularly foster exchanges with the broader
electronic design community, providing a platform for the exchange of
ideas at theintersection of formal methods, software security and
hardware design.

In particular, the primary topics of CADICS include:

- Cryptographic Engineering
- Secure Hardware Design
- Secure Software Engineering
- Software/Hardware Co-Design for Security
- Systems Security


TECHNICAL PROGRAM & FURTHER INFORMATION
=====================================================================

Workshop Website and Technical Program:
http://informatik.uni-bremen.de/CADICS


REGISTRATION
=====================================================================

Registration is open. Please use the ICCAD registration system
to register for its Thursday workshop CADICS:
https://iccad.com/registration-rates


ORGANIZERS & CONTRIBUTORS
=====================================================================

Keynote Speakers:
- Patrick Schaumont (Virginia Tech)
- Steve Trimberger (Xilinx Inc.)
- Mohit Tiwari (University of Texas at Austin)
- Kris Gaj (George Mason University)

Speakers/Contributors:
- Begül Bilgin (KU Leuven)
- Rolf Drechsler (University of Bremen/DFKI)
- Stjepan Picek (MIT)
- Daniel Große (University of Bremen/DFKI)
- Michael Hutter (CRI/Rambus)
- Francesco Reggazzoni (ALaRI/Università della Svizzera italiana):
- Kenneth Schmitz (University of Bremen/DFKI)
- Michael Tunstall (CRI/Rambus)

Organizers:
- Francois Dupressoir (University of Surrey),
- Tim Güneysu (University of Bremen and DFKI), and
- Apostol Vassilev (NIST).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0xA328694B.asc
Type: application/pgp-keys
Size: 8864 bytes
Desc: not available
URL: <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-international/attachments/20161018/1e48f897/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-international/attachments/20161018/1e48f897/attachment.sig>