E-LIB Suche - Ergebnisse für: Ngo, Van Chan

1

Bounded expectations: resource analysis for probabilistic p..:

Ngo, Van Chan ; Carbonneaux, Quentin ; Hoffmann, Jan
ACM SIGPLAN Notices. 53 (2018) 4 - p. 496-512 , 2018

Link: https://doi.org/10.1145/..

2

Bounded expectations: resource analysis for probabilistic p..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Ngo, Van Chan ; Carbonneaux, Quentin ; Hoffmann, Jan - p. 496-512 , 2018

Link: https://dl.acm.org/doi/1..

3

Verifying and Synthesizing Constant-Resource Implementation..:

, In: 2017 IEEE Symposium on Security and Privacy (SP),

Ngo, Van Chan ; Dehesa-Azuara, Mario ; Fredrikson, Matthew. - p. 710-728 , 2017

Link: https://doi.org/10.1109/..

4

Formal verification of probabilistic SystemC models with st..:

Ngo, Van Chan ; Legay, Axel
Journal of Software: Evolution and Process. 30 (2017) 3 - p. , 2017

Link: https://doi.org/10.1002/..

5

Formal verification of synchronous data-flow program transf..:

Ngo, Van Chan ; Talpin, Jean-Pierre ; Gautier, Thierry..
Frontiers of Computer Science. 7 (2013) 5 - p. 598-616 , 2013

Link: https://doi.org/10.1007/..

6

Cryptographic and Financial Fairness:

Friolo, Daniele ; Massacci, Fabio ; Ngo, Chan Nam.
IEEE Transactions on Information Forensics and Security. 17 (2022) - p. 3391-3406 , 2022

Link: https://doi.org/10.1109/..

7

Blockchain-based Internet of Musical Things:

Turchet, Luca ; Ngo, Chan Nam
Blockchain: Research and Applications. 3 (2022) 3 - p. 100083 , 2022

Link: https://doi.org/10.1016/..

8

Distributed Financial Exchanges: Security Challenges and De..:

Massacci, Fabio ; Ngo, Chan Nam
IEEE Security & Privacy. 19 (2021) 1 - p. 54-64 , 2021

Link: https://doi.org/10.1109/..

9

Practical Witness-Key-Agreement for Blockchain-Based Dark P..:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Ngo, Chan Nam ; Massacci, Fabio ; Kerschbaum, Florian. - p. 579-598 , 2021

Link: https://doi.org/10.1007/..

10

Affordable Security or Big Guy vs Small Guy (Transcript of ..:

, In: Security Protocols XXVII; Lecture Notes in Computer Science,

Ngo, Chan Nam - p. 148-156 , 2020

Link: https://doi.org/10.1007/..

11

Affordable Security or Big Guy vs Small Guy: Does the Depth..:

, In: Security Protocols XXVII; Lecture Notes in Computer Science,

Friolo, Daniele ; Massacci, Fabio ; Ngo, Chan Nam. - p. 135-147 , 2020

Link: https://doi.org/10.1007/..

12

Vision: What If They All Die? Crypto Requirements For Key P..:

, In: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW),

Ngo, Chan Nam ; Friolo, Daniele ; Massacci, Fabio.. - p. 178-183 , 2020

Link: https://doi.org/10.1109/..

13

Non-monotonic Security Protocols and Failures in Financial ..:

, In: Security Protocols XXVI; Lecture Notes in Computer Science,

Massacci, Fabio ; Ngo, Chan Nam ; Venturi, Daniele. - p. 45-54 , 2018

Link: https://doi.org/10.1007/..

14

An open design privacy-enhancing platform supporting locati..:

, In: Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication,

Dang, Tran Khanh ; Ngo, Chan Nam ; Phan, Trong Nhan. - p. 1-10 , 2012

Link: https://dl.acm.org/doi/1..

15

THE EVALUATING ABILITY OF RAINWATER ABSORPTION OF AQUIFERS ..:

Tong, Thanh Viet ; Ngo, Chan Duc ; Nguyen, Ky Viet
Science and Technology Development Journal. 14 (2011) 2 - p. 54-65 , 2011

Link: https://doi.org/10.32508..