Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Analysis of a Single Sign-On Protocol Implementation for Android.

Q. Ye, G. Bai, K. Wang, und J. Dong. ICECCS, Seite 90-99. IEEE Computer Society, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. phil. Rukmani Bai University of Stuttgart

Prof. Dr. -Ing. Utz Baitinger University of Stuttgart

Isela Bailey Loya University of Stuttgart

apl. Prof. Dr. Susanne Bailer University of Stuttgart

Alexandra Baier University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Detecting Malicious Behaviors in JavaScript Applications.J. Mao, J. Bian, G. Bai, R. Wang, Y. Chen, Y. Xiao, und Z. Liang. IEEE Access, (2018)LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.Q. Ye, Y. Zhang, G. Bai, N. Dong, Z. Liang, J. Dong, und H. Wang. ISC, Volume 11723 von Lecture Notes in Computer Science, Seite 299-318. Springer, (2019)Break the dead end of dynamic slicing: localizing data and control omission bug.Y. Lin, J. Sun, L. Tran, G. Bai, H. Wang, und J. Dong. ASE, Seite 509-519. ACM, (2018)HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.K. Mahadewa, K. Wang, G. Bai, L. Shi, J. Dong, und Z. Liang. ICECCS, Seite 21-30. IEEE Computer Society, (2018)Formal Analysis of a Proof-of-Stake Blockchain.W. Thin, N. Dong, G. Bai, und J. Dong. ICECCS, Seite 197-200. IEEE Computer Society, (2018)TwiInsight: Discovering Topics and Sentiments from Social Media Datasets.Z. Wang, G. Bai, S. Chowdhury, Q. Xu, und Z. Seow. CoRR, (2017)Analyzing Use of High Privileges on Android: An Empirical Case Study of Screenshot and Screen Recording Applications.M. Meng, G. Bai, J. Liu, X. Luo, und Y. Wang. Inscrypt, Volume 11449 von Lecture Notes in Computer Science, Seite 349-369. Springer, (2018)Security model oriented attestation on dynamically reconfigurable component-based systems.L. Gu, G. Bai, Y. Guo, X. Chen, und H. Mei. J. Network and Computer Applications, 35 (3): 974-981 (2012)DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts.R. Ji, N. He, L. Wu, H. Wang, G. Bai, und Y. Guo. ICECCS, Seite 125-134. IEEE, (2020)TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.G. Bai, J. Hao, J. Wu, Y. Liu, Z. Liang, und A. Martin. FM, Volume 8442 von Lecture Notes in Computer Science, Seite 110-126. Springer, (2014)