Updates

Gemfile.lock

@@ -1,45 +1,54 @@
 GEM
   remote: https://rubygems.org/
   specs:
-    addressable (2.8.7)
-      public_suffix (>= 2.0.2, < 7.0)
-    base64 (0.2.0)
-    bigdecimal (3.1.9)
+    addressable (2.8.8)
+      public_suffix (>= 2.0.2, < 8.0)
+    base64 (0.3.0)
+    bigdecimal (3.3.1)
     colorator (1.1.0)
     concurrent-ruby (1.3.5)
-    csv (3.3.2)
+    csv (3.3.5)
     em-websocket (0.5.3)
       eventmachine (>= 0.12.9)
       http_parser.rb (~> 0)
     eventmachine (1.2.7)
-    ffi (1.17.1)
-    ffi (1.17.1-aarch64-linux-gnu)
-    ffi (1.17.1-aarch64-linux-musl)
-    ffi (1.17.1-arm-linux-gnu)
-    ffi (1.17.1-arm-linux-musl)
-    ffi (1.17.1-arm64-darwin)
-    ffi (1.17.1-x86-linux-gnu)
-    ffi (1.17.1-x86-linux-musl)
-    ffi (1.17.1-x86_64-darwin)
-    ffi (1.17.1-x86_64-linux-gnu)
-    ffi (1.17.1-x86_64-linux-musl)
+    ffi (1.17.2)
+    ffi (1.17.2-aarch64-linux-gnu)
+    ffi (1.17.2-aarch64-linux-musl)
+    ffi (1.17.2-arm-linux-gnu)
+    ffi (1.17.2-arm-linux-musl)
+    ffi (1.17.2-arm64-darwin)
+    ffi (1.17.2-x86-linux-gnu)
+    ffi (1.17.2-x86-linux-musl)
+    ffi (1.17.2-x86_64-darwin)
+    ffi (1.17.2-x86_64-linux-gnu)
+    ffi (1.17.2-x86_64-linux-musl)
     forwardable-extended (2.6.0)
-    google-protobuf (4.29.3)
+    google-protobuf (4.33.2)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.29.3-aarch64-linux)
+    google-protobuf (4.33.2-aarch64-linux-gnu)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.29.3-arm64-darwin)
+    google-protobuf (4.33.2-aarch64-linux-musl)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.29.3-x86-linux)
+    google-protobuf (4.33.2-arm64-darwin)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.29.3-x86_64-darwin)
+    google-protobuf (4.33.2-x86-linux-gnu)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.29.3-x86_64-linux)
+    google-protobuf (4.33.2-x86-linux-musl)
+      bigdecimal
+      rake (>= 13)
+    google-protobuf (4.33.2-x86_64-darwin)
+      bigdecimal
+      rake (>= 13)
+    google-protobuf (4.33.2-x86_64-linux-gnu)
+      bigdecimal
+      rake (>= 13)
+    google-protobuf (4.33.2-x86_64-linux-musl)
       bigdecimal
       rake (>= 13)
     http_parser.rb (0.8.0)
@@ -66,11 +75,11 @@ GEM
       webrick (~> 1.7)
     jekyll-feed (0.17.0)
       jekyll (>= 3.7, < 5.0)
-    jekyll-sass-converter (3.0.0)
-      sass-embedded (~> 1.54)
+    jekyll-sass-converter (3.1.0)
+      sass-embedded (~> 1.75)
     jekyll-watch (2.2.1)
       listen (~> 3.0)
-    json (2.17.0)
+    json (2.17.1)
     kramdown (2.5.1)
       rexml (>= 3.3.9)
     kramdown-parser-gfm (1.1.0)
@@ -84,39 +93,39 @@ GEM
       thor (~> 0.19)
     pathutil (0.16.2)
       forwardable-extended (~> 2.6)
-    public_suffix (6.0.1)
-    rake (13.2.1)
+    public_suffix (7.0.0)
+    rake (13.3.1)
     rb-fsevent (0.11.2)
     rb-inotify (0.11.1)
       ffi (~> 1.0)
-    rexml (3.4.2)
-    rouge (4.5.1)
+    rexml (3.4.4)
+    rouge (4.6.1)
     safe_yaml (1.0.5)
-    sass-embedded (1.83.4)
-      google-protobuf (~> 4.29)
+    sass-embedded (1.95.1)
+      google-protobuf (~> 4.31)
       rake (>= 13)
-    sass-embedded (1.83.4-aarch64-linux-android)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-aarch64-linux-gnu)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-aarch64-linux-musl)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-arm-linux-androideabi)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-arm-linux-gnueabihf)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-arm-linux-musleabihf)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-arm64-darwin)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-x86_64-darwin)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-x86_64-linux-android)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-x86_64-linux-gnu)
-      google-protobuf (~> 4.29)
-    sass-embedded (1.83.4-x86_64-linux-musl)
-      google-protobuf (~> 4.29)
+    sass-embedded (1.95.1-aarch64-linux-android)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-aarch64-linux-gnu)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-aarch64-linux-musl)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-arm-linux-androideabi)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-arm-linux-gnueabihf)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-arm-linux-musleabihf)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-arm64-darwin)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-x86_64-darwin)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-x86_64-linux-android)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-x86_64-linux-gnu)
+      google-protobuf (~> 4.31)
+    sass-embedded (1.95.1-x86_64-linux-musl)
+      google-protobuf (~> 4.31)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     thor (0.20.3)
@@ -150,4 +159,4 @@ DEPENDENCIES
   webrick (~> 1.9)
 
 BUNDLED WITH
-   2.5.4
+   2.5.22

overview.md

@@ -5,25 +5,23 @@ permalink: /overview/
 layout: default
 ---
 
-Computers are a pervasive and powerful part of our everyday lives.  Unfortunately, due to poor security design, they often also present substantial risk to our privacy and safety.
+Computers are a pervasive and powerful part of our everyday lives.
+Unfortunately, due to poor security design, they often also present substantial
+risk to our privacy and safety.
 
-The Secure Systems Laboratory (SSL) at New York University, under the
-direction of Professor [Justin Cappos](personalpages/jcappos/), works
-to find practical and
-deployable solutions to real-world security threats.   Over the past few
-years, the lab has developed products and improved on existing system
-designs that [detect](projects#crashsimulator) and
-[isolate](projects#lind) security faults, [secure](projects#pph)
-[private](projects#sensibility) [data](projects#uppir),
-provide a [secure mechanism](projects#tuf) for fixing software flaws in
-[different contexts](projects#uptane), and even foster a deeper
-understanding about how to help programmers avoid 
+The Secure Systems Laboratory (SSL) at New York University, under the direction
+of Professor [Justin Cappos](/personalpages/jcappos/), works to find practical
+and deployable solutions to real-world security threats.   Over the past few
+years, the lab has developed products and improved on existing system designs
+that [detect](projects#crashsimulator) and [isolate](projects#lind) security
+faults, [secure](projects#pph) [private](projects#sensibility)
+[data](projects#uppir), provide a [secure mechanism](projects#tuf) for fixing
+software flaws in [different contexts](projects#uptane), and even foster a
+deeper understanding about how to help programmers avoid
 [security](projects#blindspots) [flaws](projects#atoms) in the first place.
 
-We focus on deploying our solutions in practice to maximize the impact
-of our work.  In addition to the software we
-[distribute](projects#seattle),
-our technology is used in a
-variety of popular products including [Docker](https://www.docker.com/),
-[git](https://git-scm.com/), and the package managers for most [Linux
-distributions](https://en.wikipedia.org/wiki/Linux).
+We focus on deploying our solutions in practice to maximize the impact of our
+work. In addition to the software we [distribute](projects#seattle), our
+technology is used in a variety of popular products including
+[Docker](https://www.docker.com/), [git](https://git-scm.com/), and the package
+managers for most [Linux distributions](https://en.wikipedia.org/wiki/Linux).