diff --git a/Our Work/Our-Approach b/Our Work/Our-Approach index 835a890..b8eab24 100644 --- a/Our Work/Our-Approach +++ b/Our Work/Our-Approach @@ -14,7 +14,7 @@ Our approach means our software has a number of security and ease-of-use benefit - we are able to provide rapid prototyping with a seamless path from prototype to production - reduced attack vectors, for example by guarding against things like memory corruption - a small code base which means a smaller attack surface, and easier review and audit -- the complexity is reduced ensuring ease of use and helping people to understand the technology +- the complexity is reduced ensuring ease of use and helping people to understand the technology - it is possible to formally verify important parts with a proof assistant (proof writing software) diff --git a/Our Work/Publications-and-Talks b/Our Work/Publications-and-Talks index 2438ff3..74233b0 100644 --- a/Our Work/Publications-and-Talks +++ b/Our Work/Publications-and-Talks @@ -52,7 +52,7 @@ Explains Solo5 which is a microkernel-friendly, sandboxed, re-targetable executi DevOpsDays MSN 2018 - [FuzzOps](https://www.youtube.com/watch?v=BtJsakoXxdY)
Discusses testing software to find bugs before deploying software, including continuous integration solutions and property-based testing. Looks at issues of testing frameworks, including common human errors. Explains fuzzers - a solution to this important problem in which computers generate inputs and find counter examples to enable more complete code testing and bug finding. -Confreaks 2017 - [DHCP: IT’S MOSTLY YELLING!!](https://www.youtube.com/watch?v=enRY9jd0IJw) +Confreaks 2017 - [DHCP: IT’S MOSTLY YELLING!!](https://www.youtube.com/watch?v=enRY9jd0IJw) Discusses how the Dynamic Host Configuration Protocol (DHCP) is structured and how it is used in a network. Explains how addressing and packet structure (or yelling) in DHCP works to establish a connection, and what can go wrong. Looks at tcpdump as a way to examine this yelling along with DHCP options to help establish a quieter and more secure connection. Strange Loop 2015 - [Non-Imperative Network Programming](https://www.youtube.com/watch?v=GNc1t6Q5Dls)
diff --git a/static/css/style.css b/static/css/style.css index c5b59ff..81212e3 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -142,7 +142,7 @@ a.list-group-item { float: right; } -body { +body { margin: 0px; }