يعرض 1 - 10 نتائج من 162 نتيجة بحث عن '"Tiu, Alwen"', وقت الاستعلام: 0.91s تنقيح النتائج
  1. 1
    تقرير
    Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

    المؤلفون: Lyon, Tim S., Shillito, Ian, Tiu, Alwen

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2404.15855

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Is Eve nearby? Analysing protocols under the distant-attacker assumption

    المؤلفون: Gil-Pons, Reynaldo, Horne, Ross, Mauw, Sjouke, Tiu, Alwen, Trujillo-Rasua, Rolando

    المصدر: 2022 IEEE 35th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2022 IEEE 35th. :17-32 Aug, 2022

    Relation: 2022 IEEE 35th Computer Security Foundations Symposium (CSF)

    أضف إلى المفضلة
  3. 3
    تقرير
    Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System

    المؤلفون: Yu, Tingfeng, Henderson, James, Tiu, Alwen, Haines, Thomas

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2210.14702

    أضف إلى المفضلة
  4. 4
    تقرير
    PFMC: a parallel symbolic model checker for security protocol verification

    المؤلفون: James, Alex, Tiu, Alwen, Yatapanage, Nisansala

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2207.09895

    أضف إلى المفضلة
  5. 5
    تقرير
    An Executable Formal Model of the VHDL in Isabelle/HOL

    المؤلفون: Khan, Wilayat, Hou, Zhe, Sanan, David, Nebhen, Jamel, Liu, Yang, Tiu, Alwen

    مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2202.04192

    أضف إلى المفضلة
  6. 6
    تقرير
    Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

    المؤلفون: Coen, Claudio Sacerdoti, Tiu, Alwen

    المصدر: EPTCS 332, 2021

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2101.02835

    أضف إلى المفضلة
  7. 7
    مؤتمر
    A Permission-Dependent Type System for Secure Information Flow Analysis

    المؤلفون: Chen, Hongxu, Tiu, Alwen, Xu, Zhiwu, Liu, Yang

    المصدر: 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :218-232 Jul, 2018

    Relation: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    تقرير
    Display to Labeled Proofs and Back Again for Tense Logics

    المؤلفون: Ciabattoni, Agata, Lyon, Tim S., Ramanayake, Revantha, Tiu, Alwen

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/1911.02289

    أضف إلى المفضلة
  9. 9
    تقرير
    Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

    المؤلفون: Lyon, Tim, Tiu, Alwen, Goré, Rajeev, Clouston, Ranald

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/1910.05215

    أضف إلى المفضلة
  10. 10
    تقرير
    A formalisation of the SPARC TSO memory model for multi-core machine code

    المؤلفون: Hou, Zhe, Sanan, David, Tiu, Alwen, Liu, Yang, Dong, Jin Song

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/1906.11203

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء