From ec8ebbd564645b439bc744728c6db2e12ceb5db7 Mon Sep 17 00:00:00 2001 From: Birgit Brecknell Date: Mon, 30 Sep 2024 16:54:08 +1000 Subject: [PATCH] remove quotation marks Signed-off-by: Birgit Brecknell --- _news-items/2024-09-30-lewis-clark.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_news-items/2024-09-30-lewis-clark.html b/_news-items/2024-09-30-lewis-clark.html index efc29087..3d301efb 100644 --- a/_news-items/2024-09-30-lewis-clark.html +++ b/_news-items/2024-09-30-lewis-clark.html @@ -12,5 +12,5 @@ Lewis & Clark logo - "Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL)." + Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL).

\ No newline at end of file