University of Bath
31st May 2017
2nd Annual Bath PGR Conference on Computer Science BCCS 2017
This conference is a one day event being held to demonstrate the latest research that is being done by all researchers in Computer Science at Bath University, showing the connections between the different groups in the field by allowing researchers from all fields to present and discuss their work. The aim of the conference is to exchange ideas and information about what is happening inside and outside of your field, and to see our progression of Computer Science as a whole.
The conference is open to all Postgraduate students, Postdoctoral researchers and staff, and will be aimed throughout all research areas of Computer Science at the University of Bath. We welcome submissions from the following research areas:
o Human-computer interaction
o Intelligent systems
o Mathematical foundations
o Visual Computing
Dr. Bidan Huang is a research associate at the Imperial College London, specialising in robot grasping, manipulation and learning. She did her PhD in the University of Bath, during which she visited the Ecole polytechnique federale de Lausanne, Switzerland and the National Institute of Informatics, Japan and worked there as visiting researcher. She now works in the Hamlyn Centre for Robotic Surgery, focusing on medical robots and personalized manufacturing.
An intelligent multi-robot system for personalized stent graft manufacturing
Vascular disease is a major contributor to cardiovascular deaths in the Western world. In particular, the Abdominal Aortic Aneurysms (AAA) is ranked as the 15th leading cause of modality in elder people. Endovascular therapy avoids major trauma associated with open operation, with clear advantages in terms of reduced morbidity and mortality. A stent graft is a tabular structure composed of fabric supported by a metal mesh. It is commonly used during endovascular interventions for the reinforcement of the vessel wall in the presence of aneurysms. In this talk I will present an intelligent multi-robot sewing system for personalized stent graft manufacturing, a challenging sewing task that is currently performed manually. Using a vision-based approach, the robots can conduct effective learning by demonstrations and perform accurate and fast task reproduction.
Shujun Li (Profile)
Dr Shujun Li is a Deputy Director of the Surrey Centre for Cyber Security (SCCS), leading its cross-cutting research theme "Human Factors" and contributing to several other research themes especially "Privacy and Authentication" and "Multimedia Security and Forensics". He joined the University of Surrey in 2011 and is currently a Reader (Associate Professor) at Surrey's Department of Computer Science. His main research interests are mostly around interdiscplinary topics covering several different areas including cyber security (including privacy), human factors (including human-computer interface), digital forensics and cybercrime, multimedia computing, cognitive science, and applications of artificial intelligence. He has been working on a number intredisciplinary research projects as the principal investigator (PI) including one on applications of cognitive modelling in cyber security (COMMANDO-HUMANS), one on human-assisted machine learning for data loss prevention (H-DLP), and one on better approaches to understanding and influencing human behaviours for reducing human-related risks (ACCEPT). Trained as an electronic engineer and currently working at a Computer Science department, Dr Li is actively working with researchers from other disciplines especially Electronic Engineering, Psychology, Sociology and Business. Dr Li is a Senior Member of IEEE, a Professional Member of ACM, and a Global Member of the Internet Society. From 2009-2011 he was a member of MPEG (ISO/IEC JCT 1/SC 29/WG 11), and in 2012 was awarded an ISO/IEC Certificate of Appreciation for being the lead editor of ISO/IEC 23001-4:2011 "Information technology - MPEG systems technologies - Part 4: Codec configuration representation", the 2nd edition of the MPEG RVC standard. Dr Li has published around 100 publications at international conferences and journals, and his work has attracted over 5000 citations (Google Scholar). He is the co-editor of the Handbook of Digital Forensics of Multimedia Data and Devices, published by Wiley in 2015. He is currently on the editorial boards of 5 international journals and was serving on the organising and technical program committes of many conferences and workshops. He has two cyber security related patent applications pending, and is working very closely with industry and governmental organisations for his research. Although not a mathematician or a theoretical computer scientist, his current Erdos Number is 3 through at least two different routes.
Observer-Resistant Password Systems: How hard to make them both usable and secure?
Observer-resistant password systems (ORPSs, also known as human authentication against observers or leakage-resilient password systems) have been studied since the early 1990s in both cryptography and computer security contexts, but until today a both secure and usable ORPS remains an open question to the research community. The concept of ORPS can be used to cover a large family of attacks against password-based human authentication systems such as shoulder surfers, hidden cameras, man-in-the-middle, keyloggers and malware. A key assumption of ORPS is that human users must respond to authentication challenges without using any computational devices. In other words, the threat model behind ORPSs assumes that other than the human user's brain, nothing is trusted. The main security requirement is to avoid disclosure of the shared secret between the human user and the verifier (i.e., password) even after a practically large number of authentication sessions observed by an untrusted party.
According to Yan et al.'s NDSS 2012 paper which reviews research efforts on this topic for over two decades, it has been clear that no existing systems meet both security and usability requirements although many meet one well. In this talk, the speaker will introduce his research on ORPSs since the early 2000s, highlighting a number of key findings such as human behavioural based timing attack reported at SOUPS 2011 and some theoretical work reported at NDSS 2013 and IEEETIFS 2015. He will contextualise some part of his talk using a particular design of ORPS called Foxtail, one of those ORPSs whose implementations were shown to have a relatively better balance between security and usability. Known rules about designing ORPSs and future research directions will also be discussed. He will also introduce an ongoing Singapore-UK project with Singapore Management University related to ORPSs, which is about using cognitive modelling to automate security evaluation of user authentication systems against human behaviour based attacks.
DATE AND LOCATION
The second edition of BCCS will take place on May 31st, 2017, at University of Bath.
The conference will takes place in The Edge, Weston Studio.
09:15 - 09:45 Registration
09:45 - 10:00 Greetings
10:00 - 10:30 Bidan
Huang (Keynote Speaker)
10:30 - 10:50 Coffee Break
10:50 - 11:50 Shujun Li (Keynote Speaker)
Observer-Resistant Password Systems: How hard to make them both usable and secure?
11:50 - 12:00 - Group Photo
12:00 - 13:00 Lunch
13:00 - 14:00 Session #1
o Tobias Bertel: Lightfield from Megastereo
o Robert Wortham: The Instinct Planner and R5 Robot - A Platform to Investigate Robot Transparency
o Charlie Ann Page: "Where's this used in the real world?" - Logic Programming and AnsProlog in the classroom
14:00 - 15:00 Session #2
o Bingjie Yu: Designing Commenting Mechanisms for Dynamic Media: Synchronous Overlay and Adjacent Scrollable
o Cillian Dudley: 'Fitbit for the Mind': An Exploratory Study of 'Cognitive Personal Informatics'
o Soumya C Barathi: Affective Ludology In VR Exergame
15:00 - 15:20 Coffee Break
15:20 - 16:40 Session #3
o David Sherratt: A Refinement on Director Strings
o Alessio Santamaria: Petri Nets: some properties and applications
o John Gowers: Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics
o Latifah Alshammary: The application of text mining techniques to shared mental models among team members
16:40 - 17:00 Closing + Awards
17:00 - 18:30 Workshop: Design Thinking Crash Course with John Benardis
19:00 - Late Social
o David Sherratt
o John Benardis
o Andreas Theodorou
o Horia Bogdan
o Alessio Santamaria
o Catherine Taylor
o Bingjie Yu