Title: New Approaches to Mode-Switching Abstract: The fundamental unit of all interaction is issuing commands, and the trickiest types of commands are those that control “modes” — different ways to map the same input to different application actions. For example, the current mode in a tablet drawing app could determine if the exact same sequence … SACHI Seminar: Daniel Vogel, University of Waterloo
Session types codify communication patterns, giving developers guarantees that applications satisfy predefined protocols. Session types have come a long way from their theoretical roots: recent work has seen the implementation of static analysis tools; embeddings into a multitude of programming languages; and the integration of session types into languages as a first-class language construct. Work … Simon Fowler Seminar: First-Class Distributed Session Types
Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)
Everyday advancements in technology brings with it novel challenges and threats. Such advancement imposes greater risks than ever on systems and services, including individual privacy information. Relying on intrusion specialists to come up with new signatures to detect different types of new attacks, does not seem to scale with excessive traffic growth. Therefore, anomaly-based detection … SRG Seminar: Evaluation Techniques for Detection Model Performance in Anomaly Network Intrusion Detection System by Amjad Al Tobi
Title: Internet services, energy demand and everyday life Abstract: Over the last decade, the growth in data traffic across the Internet has been dramatic, and forecasts predict a similar ongoing pattern. Since this is associated with remarkable electricity consumption (about 10% globally, and rising), such a trend is significant to efforts to reduce carbon … SACHI Seminar: Mike Hazas, Lancaster University
This research deals with the introduction of a new network functionality based on Identifier-Locator Network Protocol version 6 (ILNPv6), and Domain Name System (DNS). The chosen area of concern is security and specifically mitigation of Distributed Denial of Service (DDoS). The functionality proposed and tested deals with the issues of vulnerability testing, probing, and scanning which … SRG Seminar: New Network Functionality using ILNPv6 and DNS by Khawar Shehzad
At the Cyber Academy’s International Conference on Big Data in Cyber Security on May 10 2017 at Edinburgh Napier’s Craiglockhart Campus, PhD student Haifa Al Nasseri won two 3rd prizes. One was for her research poster on Cloud Virtual Network Isolation Security and the other was for her team’s efforts in the Splunk Hackathon.
We are delighted to congratulate Iveta Dulova, who attended the 10th BCSWomen Lovelace Colloquium, and walked away with the prize for “Best Final Year Student”. Iveta’s poster, titled “SensorCube: An end-to-end framework for conducting research via mobile sensing“, was based on her final year project supervised by Dr Juan Ye. The event was held at Aberystwyth University … Best Final Year Student at Lovelace 2017
Software Defined Networking (SDN) or Virtual Networks (VNs) are required for cloud tenants to leverage demands. However, multi-tenancy can be compromised without proper isolation. Much research has been conducted into VN Isolation; many researchers are not tackling security aspects or checking if their isolation evaluation is complete. Therefore, data leakage is a major security concern … SRG Seminar: Investigation of Virtual Network Isolation Security in Cloud Computing Using Penetration Testing by Haifa Al Nasseri
Congratulations to Yuchen, who successfully defended his thesis yesterday. He is pictured with supervisors Dr Tristan Henderson and Dr Juan Ye, Internal examiner Professor Simon Dobson and external examiner Dr Mirco Musolesi, from UCL.