updated index page

app/Route/Index.elm

@@ -4,7 +4,7 @@ import BackendTask exposing (BackendTask)
 import FatalError exposing (FatalError)
 import Head
 import Head.Seo as Seo
-import Html.Styled as Html
+import Html.Styled exposing (..)
 import Html.Styled.Attributes as Attributes
 import Link exposing (Link)
 import Pages.Url
@@ -59,20 +59,24 @@ head :
 head app =
     Seo.summary
         { canonicalUrlOverride = Nothing
-        , siteName = "elm-pages"
+        , siteName = "nganhkhoa.com"
         , image =
-            { url = [ "images", "icon-png.png" ] |> UrlPath.join |> Pages.Url.fromPath
+            { url = "https://nganhkhoa.com/nganhkhoa.png" |> Pages.Url.external
-            , alt = "elm-pages logo"
+            , alt = "nganhkhoa"
             , dimensions = Nothing
             , mimeType = Nothing
             }
-        , description = "Welcome to elm-pages!"
+        , description = "Personal blog of nganhkhoa"
         , locale = Nothing
-        , title = "elm-pages is running"
+        , title = "Anh Khoa Nguyen"
         }
         |> Seo.website
 
 
+withSpacing : (List (Html msg) -> Html msg) -> List (Html msg) -> Html msg
+withSpacing element =
+    List.intersperse (text " ") >> element
+
 view :
     App Data ActionData RouteParams
     -> Shared.Model
@@ -80,17 +84,206 @@ view :
 view app shared =
     { title = "Anh Khoa Nguyen"
     , body =
-        [ Html.p []
+        [ img [Attributes.src "/nganhkhoa.png"] []
-            [ Html.text <| "Welcome to my personal website, where I post random things and thoughts."
+        , withSpacing (p [])
+            [ text "Welcome to my personal website, where I post random things and thoughts."
             ]
-        , Link.link (Link.internal (Route.Blog__Slug_ { slug = "" })) [] [ Html.text "Blogs" ]
+        , withSpacing (p [])
-        , Html.br [] []
+            [ text "I'm a Security Engineer at"
-        , Link.link (Link.internal (Route.Osx__Slug_ { slug = "" })) [] [ Html.text "OSX Series" ]
+            , Link.link (Link.external "https://bshield.io") [Attributes.target "_blank"] [text "BShield"]
-        , Html.br [] []
+            , text "and"
-        , Html.text "Here is my CV:"
+            , Link.link (Link.external "https://verichains.io") [Attributes.target "_blank"] [text "Verichains."]
-        , Link.link (Link.external cvpdf) [Attributes.target "_blank"] [Html.text "CV.pdf"]
+            , text "Before that, I was a member of Efiens under the name"
+            , Link.link (Link.external "https://blog.efiens.com/author/luibo/") [] [text "luibo."]
+            ]
+        , withSpacing (p [])
+            [ text "My specialty are in computer security: memory forensics, binary analysis, program analysis, and compiler."
+            , text "My interest in computer systems are programming languages."
+            , text "I am finding for opportunities in type theory, operational semantic, and formal methods."
+            ]
+        , withSpacing (p [])
+            [ text "My Github is"
+            , Link.link (Link.external "https://github.com/nganhkhoa") [Attributes.target "_blank"]
+                [text "nganhkhoa."]
+            , text "But I also maintain my personal git at"
+            , Link.link (Link.external "https://git.nganhkhoa.com/nganhkhoa") [Attributes.target "_blank"]
+                [text "git.nganhkhoa.com."]
+            ]
+        , text "You can find out more about me in my "
+        , Link.link (Link.external cvpdf) [Attributes.target "_blank"] [text "CV."]
+        , br [] []
+        , text "I often write blogs, most of them are based on my research knowledge."
+        , text "You can find my blogs "
+        , Link.link (Link.internal (Route.Blog__Slug_ { slug = "" })) [] [ text "here." ]
+        , br [] []
+        , text "I also wrote a series about Mach-O binary format."
+        , text "You can find it "
+        , Link.link (Link.internal (Route.Osx__Slug_ { slug = "" })) [] [ text "here." ]
+        , br [] []
+        , text "I am a Vietnamese polyglot, fluent in English, conversational in Japanese, beginners in Mandarin and Korean."
+        , withSpacing (p [])
+            [ text "\"I use (neo)Vim and Arch, btw\" - probably me."
+            , text "This site is written using"
+            , Link.link (Link.external "https://elm-pages.com/") [] [ text "elm-pages." ]
+            ]
+        , projects
+        , br [] []
+        , publications
         ]
     }
 
 cvpdf : String
 cvpdf = "cv.pdf"
+
+projects : Html msg
+projects =
+    div []
+    [ h1 [] [text "My Projects"]
+    , div []
+        [ text "2023"
+        , text " "
+        , h2 [] [text "TSShock"]
+        , withSpacing (p [])
+            [ text "At Verichains, our team discovered multiple weaknesses in most implementations of Threshold ECDSA Signature Scheme following the works of"
+            , Link.link (Link.external "https://eprint.iacr.org/2019/114") [] [text "Gennaro and Goldfeder."]
+            , text "As the result, we presented our findings at "
+            , Link.link (Link.external "https://www.blackhat.com/us-23/briefings/schedule/#tsshock-breaking-mpc-wallets-and-digital-custodians-for-billion-profit-33343") [] [text "Black Hat USA 2023"]
+            , text "and"
+            , Link.link (Link.external "https://conference.hitb.org/hitbsecconf2023hkt/session/tsshock-breaking-mpc-wallets-and-digital-custodians/") [] [text "Hack In The Box Phuket 2023"]
+            , text "titled \"TSSHOCK: Breaking MPC Wallets and Digital Custodians for $BILLION$ Profit\"."
+            ]
+        ]
+    , div []
+        [ text "2023"
+        , text " "
+        , h2 [] [text "Audited Vietnam Citizen Card"]
+        , withSpacing (p [])
+            [ text "Performed auditing of the protocol and the chip-based Citizen Card of Vietnam."
+            , text "Simulation of NFC protocols conforming to ICAO 9303."
+            , text "Found several vulnerabilities in applications verifying the authenticity of these cards."
+            , text "Government applications and devices are also audited."
+            , text "The foundation research for the development of"
+            , Link.link (Link.external "https://bshield.io/") [] [text "BShield Secure-ID."]
+            ]
+        ]
+    , div []
+        [ text "2020 - 2023"
+        , text " "
+        , h2 [] [text "Mach-O binary format analysis and obfuscation"]
+        , withSpacing (p [])
+            [ text "Research into Mach-O binary format, which is used in Apple devices."
+            , text "Proposed obfuscation for the Mach-O binary."
+            , text "Familiar with tools for pentesting iOS applications."
+            ]
+        ]
+    , div []
+        [ text "2021"
+        , text " "
+        , h2 [] [text "LLVM based Obfuscation"]
+        , withSpacing (p [])
+            [ text "Build a LLVM based obfuscation compiler."
+            , text "Extend"
+            , Link.link (Link.external "https://doi.org/10.1109/SPRO.2015.10")
+                [] [text "Obfuscator-LLVM"]
+            , text "with"
+            , Link.link (Link.external "https://doi.org/10.1007/978-3-540-77535-5_5")
+                [] [text "Mixed Boolean-Arithmetic"]
+            , text "as well as many other obfuscation passes."
+            , text "Fully updated to LLVM 14 with support for both new and legacy pass manager."
+            , text "A CTF challenge is released obfuscated using our obfuscator in"
+            , Link.link (Link.external "https://twitter.com/hgarrereyn/status/1477919411977830402")
+                [] [text "TetCTF 2022"]
+            ]
+        ]
+    , div []
+        [ text "2019-2020, 2022-2023"
+        , text " "
+        , h2 [] [text "Windows Live Memory Forensics"]
+        , withSpacing (p [])
+            [ text "Research into Windows Forensics."
+            , text "Learned techniques used in Memory Forensics and familiar with tools like Volatility."
+            , text "Develope a new method for Live Forensics using Memory Forensics without Memory Extraction."
+            , text "A prototype is implemented, capable of inspecting the kernel global variables, structures,"
+            , text "and performing"
+            , Link.link (Link.external "https://doi.org/10.1016/j.diin.2016.01.005")
+                [] [text "Pool Tag Quick Scanning."]
+            , text "This prototype is updated in 2023 to also detect injected code in processes for detection of"
+            , text "DLL Injection, Reflective DLL Injection, Process Hollowing, and similar malware techniques."
+            ]
+        ]
+    ]
+
+publications : Html msg
+publications =
+    div []
+        [ h1 [] [text "Publications"]
+        , text "Most of my publications are drafts and not reviewed paper."
+        , text " "
+        , text "Because I am not in an academic environment so I do not know how to publish."
+        , br [] []
+        , br [] []
+        , withSpacing (div [])
+            [ text "New Key Extraction Attackson Threshold ECDSA Implementations."
+            , text "Duy Hieu Nguyen, Anh Khoa Nguyen, Huu Giap Nguyen, Thanh Nguyen, Anh Quynh Nguyen."
+            , text "August 2023."
+            , br [] []
+            , Link.link (Link.external "https://verichains.io/tsshock") [] [text "[website]"]
+            , Link.link (Link.external "https://www.verichains.io/tsshock/verichains-tsshock-wp-v1.0.pdf")
+                [Attributes.target "_blank"]
+                [text "[whitepaper]"]
+            , Link.link (Link.external "https://youtu.be/1ks2jcS7UE4") [] [text "[HITB Recordings]"]
+            ]
+        , br [] []
+        , withSpacing (div [])
+            [ text "(Draft) Obfuscate API calls in Mach-O Binary."
+            , text "Anh Khoa Nguyen."
+            , text "Expecting 2024."
+            , br [] []
+            , Link.link (Link.external "macho-obfuscation.pdf")
+                [Attributes.target "_blank"]
+                [text "[pdf]"]
+            ]
+        , br [] []
+        , withSpacing (div [])
+            [ text "(Draft) Live Memory Forensics Without RAM Extraction."
+            , text "Anh Khoa Nguyen, Dung Vo Van Tien."
+            , text "Expecting 2024."
+            , br [] []
+            , Link.link (Link.external "live-memory-forensics.pdf")
+                [Attributes.target "_blank"]
+                [text "[pdf]"]
+            ]
+        , br [] []
+        , h2 [] [text "Dissertations"]
+        , withSpacing (p [])
+            [ text "After I graduated, I often advise undergraduate students on their dissertations."
+            , text "The list below contains my dissertation and dissertations I advised."
+            ]
+        , withSpacing (div [])
+            [ text "Windows Memory Forensics: Finding hidden processes in a running machine."
+            , br [] []
+            , text "Author: Anh Khoa Nguyen."
+            , br [] []
+            , text "Advisors: An Khuong Nguyen, Le Thanh Nguyen, Quoc Bao Nguyen."
+            , br [] []
+            , text "Year: 2020"
+            , br [] []
+            , Link.link (Link.external "https://drive.google.com/file/d/1Z_cKtBsi_gm8ugsrnAEPo-Wmx9GAuaSK/view?usp=sharing")
+                [Attributes.target "_blank"]
+                [text "[pdf]"]
+            ]
+        , br [] []
+        , withSpacing (div [])
+            [ text "Windows Memory Forensics: Detecting hidden injected code in a process."
+            , br [] []
+            , text "Author: Vo Van Tien Dung."
+            , br [] []
+            , text "Advisors: An Khuong Nguyen, Anh Khoa Nguyen."
+            , br [] []
+            , text "Year: 2023"
+            , br [] []
+            , Link.link (Link.external "https://drive.google.com/file/d/1X18tr4OvcNYRoyxzTcsxM_MgjcqVW1sk/view?usp=sharing")
+                [Attributes.target "_blank"]
+                [text "[pdf]"]
+            ]
+        ]