13 results for Maude-NPA

13 results for Maude-NPA

Export to excel
Print

Export record to excel

File type to download

Beta version

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Tran, Duong Dinh ; Do, Canh Minh ; Escobar, Santiago ; Ogata, Kazuhiro
    Publisher:San Diego, USA: PeerJ. Ltd
    Journal title:PeerJ. Computer science, 2023-09, Vol.9, p.e1556-e1556, Article e1556
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Santiago, Sonia ; Escobar, Santiago ; Meadows, Catherine ; Meseguer, José
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2016-02
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:González-Burgueño, Antonio ; Aparicio, Damián ; Escobar, Santiago ; Meadows, Catherine ; Meseguer, José
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2018-06
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    Newsletter articlesFull Text

    Publisher:New Delhi: Disco Digital Media, Inc
    Journal title:Pivotal Sources, 2022
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    Newsletter articlesFull Text

    Publisher:New Delhi: Disco Digital Media, Inc
    Journal title:Pivotal Sources, 2022
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    Newsletter articlesFull Text

    Publisher:NewsRX LLC
    Journal title:Computer Weekly News, 2023, p.492
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Yang, Fan ; Escobar, Santiago ; Meadows, Catherine ; Meseguer, José
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2019-04
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine ; Meseguer, Jose ; Sapiña, Julia
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2020-10
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    Book ChaptersFull Text

    Author / Creator:Moran, Murat ; Lafourcade, Pascal ; Puys, Maxime ; Williams, David
    Publisher:United Kingdom: CRC Press
    Journal title:Handbook of Formal Analysis and Verification in Cryptography, 2024, Vol.1, p.105-152
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Escobar, Santiago ; Meadows, Catherine ; Meseguer, Jose
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2011-05
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:López-Rueda, Raúl ; Escobar, Santiago ; Sapiña, Julia
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2023-07
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    Newsletter articlesFull Text

    Publisher:Atlanta: NewsRx
    Journal title:Information Technology Newsweekly, 2014, p.88
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:陆思奇 程庆丰 赵进华
    Journal title:密码学报, 2014-12 (6), p.568-577
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.