[TYPES/announce] CFP: 9th International Summer School on Information Security and Protection

[Michael.Norrish at data61.csiro.au]

[ I hope the formal methods aspects of our programme, and of this field in general, make this of interest to the TYPES/announce readership - M ]

================================================================================

CALL FOR PARTICIPATION

The 9th International Summer School on Information Security and Protection

The Australian National University, Canberra

9 July - 13 July, 2018

https://cs.anu.edu.au/cybersec/issisp2018/

mailto:issisp18 at anu.edu.au

================================================================================


Scope
=====

There is an increasing need for Software Security and Protection due to the
growing sensitivity of user data coupled with the ubiquitous nature of
computing systems ranging from tiny embedded devices to powerful data centres.

The International Summer School on Information Security and Protection
(ISSISP) highlights this need by bringing internationally renowned speakers
from diverse fields in Computer Science such as Software Engineering, Formal
Methods, Computer Architecture, Operating Systems, and Programming Languages.

In particular, topics to be covered include vulnerability detection and
analysis, software forensics, and information flow control. The summer school
caters towards students and professionals from academia, government, and
industry. Courses will include both lectures and hands-on sessions.

Tutorials
=========

Building Security In: Programming Language-Based Techniques for Ensuring
Software Security, Professor Mike Hicks, University of Maryland, USA

Vulnerability Analysis with S2E, Dr Vitaly Chipounov, co-founder and chief
architect at Cyberhaven, Switzerland

Symbolic Execution for Vulnerability Detection and Repair, Professor Abhik
Roychoudhury, National University of Singapore

Type Sanitisation and Object Integrity for C++, Professor Mathias Payer,
Purdue University, USA

Low-Level Systems Security, Professor Emery Berger, University of
Massachusetts at Amherst, USA

Forensics of Cyber Attacks, Professor Xiangyu Zhang, Purdue University, USA

Binary Lifting with McSema, Peter Goodman, Trail of Bits

Introduction to Software Protection and Obfuscation, Professor Christian
Collberg, University of Arizona, USA

Advanced Protections Against Deobfuscation and Tampering, Professor Bjorn De
Sutter, Ghent University, Belgium

VM-Based Software Protection, Professor Jack Davidson, University of Virginia,
USA

Industrial Challenges in Software Security and Protection, Yuan Xiang Gu,
Irdeto, China

Keynote Speakers
================

Defences Against Microarchitectural Attacks, Professor Gernot Heiser,
University of New South Wales, Australia

Microarchitectural Attacks, Dr. Yuval Yarom, University of Adelaide, Australia

Oracle Parfait — The Flavour of Real World Vulnerability Detection,
Dr. Cristina Cifuentes, Oracle Labs, Australia

Attending
=========

ISSISP is open to students, academics, and professionals from academia,
government, and industry. The number of attendee places is strictly limited.
Prospective attendees should submit an expression of interest at
https://goo.gl/forms/aO06Y5L4jGdPMZHI3. Expressions of interest will be
reviewed starting **Friday 11 May**. For full consideration please submit an
expression of interest prior to this date. Successful applicants will be
notified from **Friday 18 May**, after which places will be filled on a
first-come first-served basis.  Please contact <mailto:issisp18 at anu.edu.au>
with any specific questions regarding registration.

Successful applicants will receive a link to the payment website to confirm
their registration.

Registration costs vary by attendee classification (student/academic/industry)
and by choice of optional single/twin share accommodation. The registration
fee covers lunches, coffee breaks, and the social event and dinner.

Posters
=======

We invite all ISSISP attendees to submit their innovative ideas and ongoing
work in the area of information security and protection for presentation at
the School in the form of a poster.  At least one poster author must register
to attend ISSISP. Topics of interest include, but are not limited to:

* Applications of cryptography
* Cloud security
* Combating software and hardware privacy
* Computer forensics
* Cyber attack and defence strategies
* Formal methods in security
* Language-based security
* Mobile and system security
* Network security
* Reverse engineering, vulnerability analysis and malware analysis
* Side channel attacks

Prizes will be awarded for best posters!

Venue
=====

ISSISP'18 will be held at University House on the grounds of the Australian
National University in Canberra, the nation's capital. It is well-served by
domestic flights from the major Australian airports, and internationally from
New Zealand, Singapore, and Qatar. Canberra is a 3-hour drive from Sydney, and
also reachable by train and bus services from Sydney and Melbourne.

Organisers
==========

Tony Hosking, ANU / Data61
Steve Blackburn, ANU
Adrian Herrera, DST Group
Shane Magrath, DST Group

Scientific Advisory Board
=========================

Christian Collberg, University of Arizona
Jack Davidson, University of Virginia
Bjorn De Sutter, Ghent University
Roberto Giacobazzi, Universitá di Verona
Yuan Xiang Gu, Irdeto
Arun Lakhotia, University of Lousiana