Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
logo
Science of Security VO
  • Home
  • Archive
  • About
  • Search
  • Calendar
  • Members
  • Contact Us
  • Forums
  • Files
CPS-VO

Visible to the public News Articles about Wyvern

  • View
    6 replies [Last post]
    Wed, 11/12/2014 - 3:53pm
    syannacci
    syannacci's picture
    Offline
    Established Community Member
    Joined: Oct 30 2013

    This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.

    ‹ Videos of Lablet Researchers Presenting Work Composability ›
    Top
    • PDF version
    • Printer-friendly version
    Wed, 11/12/2014 - 4:13pm
    #1
    AdamT
    AdamT's picture
    Offline
    Established Community Member
    Joined: Jul 29 2014
    Slashdot Link

    http://beta.slashdot.org/story/14/08/10/2250205/new-nsa-funded-code-rolls-all-programming-languages-into-one

    Wyvern on Slashdot

    Top
      Wed, 11/12/2014 - 4:14pm
      #2
      AdamT
      AdamT's picture
      Offline
      Established Community Member
      Joined: Jul 29 2014
      Gizmodo

      http://gizmodo.com/the-nsa-is-funding-a-project-to-roll-all-programming-la-1619295603

      Gizmodo Article

      Top
        Wed, 11/12/2014 - 4:15pm
        #3
        AdamT
        AdamT's picture
        Offline
        Established Community Member
        Joined: Jul 29 2014
        Vice

        http://motherboard.vice.com/read/new-nsa-funded-programming-language-is-all-programming-languages-in-one

        Article on Vice

        Top
          Wed, 11/12/2014 - 4:17pm
          #4
          AdamT
          AdamT's picture
          Offline
          Established Community Member
          Joined: Jul 29 2014
          CMU Press Release on Wyvern

          http://www.cs.cmu.edu/news/carnegie-mellon-developing-programming-language-accommodates-multiple-languages-same-program

          Wyvern won ECOOP 2014 paper won a distinguished paper award.

          Top
            Wed, 11/12/2014 - 4:18pm
            #5
            Heather Lucas
            Heather Lucas's picture
            Offline
            Established Community Member
            Joined: Jun 2 2011
            CSO Online

            New NSA-funded programming language could close long-standing security holes: Wyvern securely rolls five program languages into one By Dan Geer

            http://www.csoonline.com/article/2684236/data-protection/new-nsa-funded-programming-language-could-close-long-standing-security-holes.html

            Top
              Wed, 11/12/2014 - 4:33pm
              #6
              AdamT
              AdamT's picture
              Offline
              Established Community Member
              Joined: Jul 29 2014
              Stuart was quoted in that

              Stuart was quoted in that article. :)

              Top

                Comment viewing options

                Select your preferred way to display the comments and click "Save settings" to activate your changes.

                Terms of Use  |  ©2023. CPS-VO