Secure and dependable software systems

Improving human trust on software systems

South East Cyber Security Cluster

Introduction to the South East Cyber Security Cluster https://cgp.uk.net/#/resources/112   Year Anniversary celebration for South East Cyber Security Cluster http://www.lockcodecybersecurity.com/#!next-event-27-nov-brigYhton/of5u4  

Research Fellow in Requirements Engineering for Security Management

We are currently seeking a fixed-term research fellow to support a three year European Union funded project. As the successful applicant, you will join the SenSe team, led by Prof. H. Mouratidis, and will provide research support on the European Union Horizon 2020 funded project MITIGATE (multidimensional, integrated, risk assessment framework and dynamic, collaborative risk…

Continue Reading

3 Post-doc positions at University of Brighton, UK

  Applications are invited for 3 post-doc positions in the secure and dependable software systems (SenSe) group at the University of Brighton, UK. Application deadline: Thursday 11 June 2015 RESEARCH FELLOW IN SECURITY AND PRIVACY ENGINEERING We are currently seeking a research fellow for a fixed-term two year EU funded project, specialising in security and…

Continue Reading

Royal Academy of Engineering Distinguished Visiting Fellow Seminar

  Speaker: Prof. John Mylopoulos – Royal Academy of Engineering Distinguished Visiting Fellow, University of Trento Title: Designing Adaptive Software Systems: A Requirements Engineering Perspective Summary: Adaptive systems usually operationalize adaptation through a feedback loop, an architectural prosthesis that introduces monitoring, diagnosis and compensation functions to the system proper. We have been studying the requirements…

Continue Reading

SenSe Research Seminar 22nd April 2015

  Speaker: Dr. Christos Kloukinas Title: Specifying Software Architectures – Revisiting The Early Decisions Summary: The software architecture community has developed a number of different languages (ADLs) for describing architectures of systems, with different goals and characteristics. Some work we did on protocol choreography realization made us revisit the early decisions around the connector basic…

Continue Reading

Welcome to the Secure and dependable software systems blog

Today’s economy and society are vitally dependent on software (computer) systems supporting important and critical human activities such as storage of confidential medical data, real-time banking transactions and protection of critical infrastructure. It is therefore important that such systems operate not just according to their specifications but also with trust and security. Our mission is…

Continue Reading

Skip to toolbar