( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Unifying separation logic and region logic to allow interoperability.

, , и . Formal Aspects Comput., 30 (3-4): 381-441 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jin Bao

Wenwen Bao

Feng Bao

Mohammed Subhiy Husein al- Baouni

Huixin Bao

 

Другие публикации лиц с тем же именем

A Methodology for Invariants, Framing, and Subtyping in JML., и . Principled Software Development, стр. 19-39. Springer, (2018)Bounded Model Checking for LLVM., , , , , и . FMCAD, стр. 214-224. IEEE, (2022)Unifying separation logic and region logic to allow interoperability., , и . Formal Aspects Comput., 30 (3-4): 381-441 (2018)Conditional effects in fine-grained region logic., , и . FTfJP@ECOOP, стр. 5:1-5:6. ACM, (2015)Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation., , , , , и . USENIX Security Symposium, стр. 657-674. USENIX Association, (2019)Cache Refinement Type for Side-Channel Detection of Cryptographic Software., , , , и . CCS, стр. 1583-1597. ACM, (2022)Verifying Verified Code., , , , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 187-202. Springer, (2021)SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications., , , и . SP, стр. 1100-1119. IEEE, (2022)HACCLE: metaprogramming for secure multi-party computation., , , , , , , , , и 10 other автор(ы). GPCE, стр. 130-143. ACM, (2021)Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking., , , , , и . CoRR, (2024)