David Basin is a full professor of Computer Science at ETH Zurich. He received his Ph.D. in Computer Science from Cornell University in 1989 and his Habilitation in Computer Science from the University of Saarbrucken in 1996. From 1997–2002 he held the chair of Software Engineering at the University of Freiburg in Germany. His research areas are Information Security and Software Engineering. He is the founding director of the ZISC, the Zurich Information Security Center, which he led from 2003-2011. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and of Springer-Verlag's book series on Information Security and Cryptography. He serves on various management and scientific advisory boards, co-founded three security companies, and has consulted extensively for IT companies and government organizations.
Title: Usable Security: Reasoning about the Human in the System
Abstract: Complex systems involve humans, not just machines. Security protocols are a good example of this as in many cases humans are the ultimate endpoints. There are critical differences between humans and machines: humans are not only computationally weaker than machines, they are naive, careless, and gullible. We present foundations, methods, and tool support for formalizing and reasoning about security protocols used by fallible humans. We provide case studies of authentication protocols that show how different protocol constructions and features differ in their effectiveness with respect to different kinds of human errors. This provides a starting point for a fine-grained classification of security protocols from a usable-security perspective.
Schahram Dustdar is Professor of Computer Science heading the Distributed Systems Group at the Technical University of Vienna (TU Wien). From 2004-2010 he was also Honorary Professor of Information Systems at thevDepartment of Computing Science at the University of Groningen (RuG), The Netherlands. From 1999 - 2007 he worked as the co-founder and chief scientist of Caramba Labs Software AG in Vienna (acquired by EngineeringNetWorld AG), a venture capital co-funded software company focused on software for collaborative processes in teams. Caramba Labs was nominated for several (international and national) awards. From Dec 2016 until Jan 2017 he was a Visiting Professor at the University of Sevilla, Spain and from January until June 2017 he was a Visiting Professor at UC Berkeley, USA. He is co-Editor-in-Chief of the new ACM Transactions on the Internet of Things as well as Editor-in-Chief of Computing (Springer). He is an Associate Editor of IEEE Transactions on Services Computing, IEEE Transactions on Cloud Computing, ACM Transactions on the Web, and ACM Transactions on Internet Technology, as well as on the editorial board of IEEE Internet Computing and IEEE Computer. Dustdar is recipient of the ACM Distinguished Scientist award (2009), the IBM Faculty Award (2012), the IEEE TCSVC Outstanding Leadership Award, for Outstanding Leadership in Services Computing (2018), an elected member of the Academia Europaea: The Academy of Europe, where he is chairman of the Informatics Section, as well as an IEEE Fellow (2016).
Title: Software Engineering the Fabric of IoT, People, and Systems
Abstract: In this talk I will explore the integration of people, software services, and things with their data, into a novel resilient ecosystem, which can be modeled, programmed, and deployed on a large scale in an elastic way. This novel paradigm has major consequences on how we view, build, design, and deploy ultra-large scale distributed systems and establishes a novel foundation for an “architecture of value” driven Smart City. In particular, this talk addresses three novel paradigms for designing the service-oriented information systems of the future: Elastic Computing, Social Compute Units, and Osmotic Computing. These three paradigms serve as a foundation for future large-scale distributed systems. Furthermore, we will discuss our responsibilities as computer scientists, technologists, and researchers for creating technologies, which benefit society in a positive way, thereby strengthening the new fabric of interconnected people, software services, and things into a novel resilient ecosystem.
AWASE is a forum for researchers and educators to present and discuss the most recent innovations, trends, advances, experience and concerns in the generative approach to software development, as well as to promote the interaction between participators. The scientific subject of the workshop covers (but does not limit to) areas such as software engineering, formal method, model checking, program analysis/transformation , and applications in major areas of computer science.
This year AWASE will be co-hosted with ICFEM2018.
The 1st workshop was held at Peking University in China in 2010
The 2nd workshop was held at Hakone-machi in Japan in 2011
The 3rd workshop was held at National University of Singapore in 2013
The 4th workshop was held at Peking University in China in 2014
The 5th workshop was held at Todaiji Museum in Japan in 2016
The 6th workshop was held at Chongqing Haiyu Spring Spa Hotel in China in 2017
The scientific topics of the workshop include, but are not limited to:
|Student Early Registration (until 12 Oct 2018)||Early Registration (until 12 Oct 2018)||Student Late Registration (after 12 Oct 2018)||Late Registration (after 12 Oct 2018)|
|Full week*||990 AUD (≈ 730 USD)||1195 AUD (≈ 885 USD)||1130 AUD (≈ 835 USD)||1330 AUD (≈ 985 USD)|
|ICFEM only**||860 AUD (≈ 635 USD)||1060 AUD (≈ 785 USD)||1000 AUD (≈ 740 USD)||1195 AUD (≈ 885 USD)|
|Workshops only***||280 AUD (≈ 205 USD)||380 AUD (≈ 280 USD)||415 AUD (≈ 305 USD)||515 AUD (≈ 380 USD)|
Gold Coast is blessed with an enviable climate, world-class facilities and convenient public transport networks.
Delegates can easily access activities like cruising on the Bay, with the lush rainforests of the Scenic Rim and the beaches of the Gold Coast and Sunshine Coast within a short drive of the city centre. More informations are available at the Official Tourism Website for the Gold Coast
Workshop venue: The workshop is be co-located with ICFEM 2018 and will be held at Novotel Surfers Paradise:
3105 Surfers Paradise Boulevard, 4217 Surfers Paradise, Queensland, Australia.
Tel: +61 7 5579 3499. Fax: +61 7 5592 0026. Email: HA7P0@accor.com.
We have negotiated with Novotel for a discount on accommodation. AWASE 2018 delegates can book a Superior Room with Breakfast for $155 AUD per night (GST inclusive), for one (1) guest and subject to availability at time of booking. Bedding configuration is King or 2 x Queen Beds. As a special offer delegates will receive a complimentary upgrade to the deluxe room (recently refurbished).
To book a room delegates should call the hotel direct on +61 (0) 7 5579 3499 or email reservations on HA7P0@accor.com and quote “Griffith” to receive this special rate. Our reservations team are aware of the special rate and will be able to assist delegates with any queries. Our reservations team can provide delegates with a secure link to pay for their room online as well.
Conditions: Rates quote are inclusive of x1 breakfast each day. Additional breakfasts are available at a discounted rate of $20 per person if selected at time of booking. Normal rate of $32 per person applies after this time if consumed during stay period. Car parking is available on site through Secure Parking, entry via Hanlan Street, A special single exit pass is available at a flat rate of $8 per day for hotel guests and conference delegates, or $17 for unlimited entry and exit per day. Please see hotel reception for validation of your parking ticket prior to departure.
From Brisbane International Airport: Take the BDVL train line from Brisbane International Airport Station Platform 1 towards Varsity Lakes, get off at Helensvale Station and walk to Platform 5. Take the GLKS train line towards Broadbeach South, get off at Cavill Avenue Station. Walk south for 150 meters to reach Novetel Surfers Paradise. The train leaves every 30 min. Travel time around 2 hours 20 min.
From Gold Coast Airport: Take the 777 bus from Gold Coast Airport Station towards Broadbeach South, get off at Broadbeach South Station and take the GLKS train line towards Helensvale, get off at Cavill Avenue Station. Walk south for 120 meters to reach Novetel Surfers Paradise. The bus leaves every 15 min. Travel time around 50 min.
Attendees that require a visa may request a support letter from firstname.lastname@example.org. General information for Australian visa applicants can be found here. Business conference visa information can be found here. Additional visa information can be found here.
Zhe Hou, Griffith University, Australia
Zhenjiang Hu, National Institute of Informatics (NII), Japan
Jin Song Dong, Griffith University and NUS, Australia Zhi Jin, Peking University, China Bashar Nuseibeh, The Open University, UK Mei Hong, Peking University, China Shinichi Honiden, NII, Japan
|8:45 - 9:00||Opening||Jin Song Dong and Hong Mei|
|9:00 - 9:45||Keynote Talk 1||David Basin (ETH Zurich)|
|Session 1: Software Updating|
|10:00 - 10:20||Automating Object Transformation for Dynamic Software Updating via Online Execution Synthesis||Xiaoxing Ma (Nanjing University)|
|10:20 - 10:40||Assured Graceful Degradation by Models@run.time||Kenji Tei (Waseda University)|
|10:40 - 11:00||Updating Environment Model at Runtime for Self-Adaptive Systems||Moeka Tanabe (Waseda Univresity)|
|Session 2: Software Analysis|
|11:15 - 11:35||Practical Cyber-Physical Systems Testing: Results and Future Directions||Shaukat Ali (Simula Research Lab)|
|11:35 - 11:55||Sip4J: Statically inferring permission-based specifications for sequential Java programs||Yuanfang Li (Monash University)|
|11:55 - 12:15||Change Impact Analysis in Refinement-based Formal Specification||Shinnosuke Saruwatari (The University of Tokyo)|
|Session 3: Software Checking|
|13:30 - 13:50||Trusted Decision Making for Autonomous Systems||Hadrien Bride (Griffith University)|
|13:50 - 14:10||Reducing the size of two-player game for identifying guaranteeable safety property at runtime||Kazuya Aizawa (Waseda Univresity)|
|14:10 - 14:30||Client-Specific Equivalence Checking and Its Applications in Software Evolution Management||Yi Li (Nanyang Technological University)|
|Session 4: Big Data and Intelligent Software|
|14:45 - 15:05||Software Digital Sociology||Minghui Zhou (Peking University)|
|15:05 - 15:25||Towards Automatically Localizing and Fixing Unreproducible Builds||He Jiang (Dalian University of Technology)|
|15:25 - 15:45||Machine-Learning For Security Analysis: Opportunities and Challenges||Paddy Krishnan (Oracle Labs Australia)|
|Session 5: Machine Learning and Sofware Engineering|
|16:00 - 16:20||Towards Testing and Understanding Deep Learning Systems||Yang Liu (Nanyang Technological University)|
|16:20 - 16:40||Security Engineering on Machine Learning based Systems in Smart-City||Nobukazu Yoshioka (National Institute of Informatics)|
|16:40 - 17:00||Verifying Machine Learning Models||Zhe Hou (Griffith Univeristy)|
|Session 6: Cloud-Edge Computation|
|17:15 - 17:35||Multi-objective Optimization from Search based software engineering to Cyber Security||Yinxing Xue (University of Science and Technology of China)|
|17:35 - 17:55||Privacy on the Edge with Bidirectional Data Transformation||Nianyu Li (Peking University)|
|18:30 - 21:00||Workshop Dinner|
|9:00 - 9:45||Keynote Talk 2: Software Engineering the Fabric of IoT, People, and Systems||Schahram Dustdar (Technical University of Vienna)|
|Session 7: Bug Detection and Bug Fixing|
|10:00 - 10:20||Towards Optimal White-box Fuzzing||Jun Sun (Singapore University of Technology and Design)|
|10:20 - 10:40||Log-based Fault Diagnosis for Large-Scale Software Systems||Hongyu Zhang (Newcastle University)|
|10:40 - 11:00||Closing||Shinichi Honiden|
|11:00 - 12:00||Free Discussion + Self-guided walk on the beach|
|14:00 - 17:00||Free Discussion + Social Events|
Institute for Integrated and Intelligent Systems
+61 7 3735 3757
To be announced.