'Knowledge is GREAT' Lecture with King's College London and Microsoft | Peatixtag:peatix.com,2011:12021-11-15T08:06:51+08:00PeatixEvents'Knowledge is GREAT' Lecture with King's College London and Microsofttag:peatix.com,2016:event-1829262016-07-28T18:30:00SGT2016-07-28T18:30:00SGT
British Council in partnership with King's College London and MicrosoftProudly Presents:British Council 'Knowledge is GREAT' LectureIs Security Really Mortals' Chiefest Enemy?A Lecture by Luca Viganò, Professor of Computer Science, Software Modelling and Applied Logic. The lecture will be followed by a panel discussion featuring Mr Wally Lee, Cybersecurity Architect, Microsoft.Abstract
The Internet is such a big part of our lives today
that it’s hard to imagine that we once did without it. We use the Internet at
work, at home, on the street. We use it to keep in touch, stay on top of the
news, research information, manage our savings, pay bills, shop, vote, play and
have fun. However, security failures make the news on a regular basis,
reminding us that no country, industry, community or individual is immune to
cyber risks and we face constant threats against our critical infrastructures,
government, economy, identity and privacy.
Experience has shown that the design of protocols
and services for Internet security is highly error-prone and that conventional
validation techniques based on informal arguments or testing are not up to the
task. It is now widely recognised that only formal analysis can provide the
level of assurance required by both developers and users. In this lecture,
Professor Viganò will survey the novel formal methodologies and
technologies for information security that he has developed with several
collaborators and in the context of research and industrial projects, and
suggest some interesting directions for the future.About the Speaker:
Professor Luca Viganò
is a lead faculty member in King’s College London’s Department of Informatics,
within the Faculty of Natural & Mathematical Sciences. He is part of the
Software Modelling and Applied Logic Research Group. The group studies
modelling and engineering of software systems, and applications of logic and mathematics
to computer science, artificial intelligence, information and software
security, and multi-agent systems. In addition to his departmental
responsibilities Professor Vigano is Vice Dean International for the Faculty of
Natural & Mathematical Sciences.
He graduated in Electronic Engineering at the
university of his hometown, Genova, Italy, in 1994 and received his PhD in
Computer Science from Saarland University, Germany, in 1997. He held a
senior research scientist position at the University of Freiburg, Germany, from
October 1997 to December 2002, and one at ETH Zurich, Switzerland, from January
2003 to September 2006, when he was appointed Associate Professor of Computer
Science at the University of Verona, Italy. He joined King's College London in
October 2013 as a Professor of Computer Science, Software Modelling and Applied
Logic.
His research focuses on formal methods and tools
for the specification, verification, and construction of secure systems, and on
the theory and applications of non-classical and security logics. On these
topics, he has published extensively, coordinated and participated in a large
number of research and industrial projects, and taught several courses,
tutorials and industrial courses.About the Panellist:Wally Lee
Cybersecurity
Architect, Cybersecurity Global Practice
Wally Lee is the Cybersecurity Architect at Microsoft covering Asia
Pacific Region. He has over 18 years of technical pre-sales and hands-on
experience in security audit, incident response management, compliance check,
risk assessment, penetration test and security solutioning. He holds a Bachelor
of Applied Science (Computer Engineering), Nanyang Technological University,
Singapore. He is also a Certified Information Systems Security Professional
(CISSP) and BS7799 Lead Auditor.
Prior to Microsoft, Wally was in McAfee where he held the
appointment of Regional Enterprise Solutions Architect, where he is responsible
in developing strategic relationships and providing technical/industry
expertise in McAfee Security technologies and solutions for major financial
institutions, telecommunication companies, government and defense agencies and
multinationals in the region.
Prior to McAfee, Wally was with Singapore Computer Systems Ltd
(SCS) as the Principal Consultant and was in-charge of the technical skills
development of the engineers in the Security Competency Centre. He was also a
P&L holder and was tasked the responsibility to co-run the security
business.
Before joining SCS, Wally had been an entrepreneur and was the
co-founder and Principal Consultant of Infinitum Security Pte Ltd in the mid
90's, where he run the security business and had provided security professional
services including audit, hardening, web application penetration test and code
review to its long list of client.
Wally is active in the Security Industrial and having served as
EXCO and committee members in several boards and associations. He was the
immediately President of Association of Information Security Professional
(AiSP), an association aims at promote, develop, support and enhance the
integrity, technical competence, management expertise, status and interests of
information security professionals in Singapore.Date: Thursday 28th July 2016Time: 6.30pm - 7.30pm (Registration will commence at 5.45pm) A post-lecture reception will be providedVenue: Microsoft Auditorium (Level 21), Microsoft Operations Pte Ltd. 1 Marina Boulevard #21-01 One Marina Boulevard. Singapore 018989 Updatestag:peatix.com,2016-07-08 14:56:492016-07-08 14:56:49The event description was updated. Diff#178341