Search

Your search keyword '"Bai, Guangdong"' showing total 88 results

Search Constraints

Start Over You searched for: Author "Bai, Guangdong" Remove constraint Author: "Bai, Guangdong" Publication Type eBooks Remove constraint Publication Type: eBooks
88 results on '"Bai, Guangdong"'

Search Results

2. Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning

5. SATB: A Testbed of IoT-Based Smart Agriculture Network for Dataset Generation

6. Towards Better Generalization for Neural Network-Based SAT Solvers

7. UQ-AAS21: A Comprehensive Dataset of Amazon Alexa Skills

8. Privacy-Preserving Gradient Descent for Distributed Genome-Wide Analysis

9. PrivColl: Practical Privacy-Preserving Collaborative Machine Learning

10. LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking

11. Analyzing Use of High Privileges on Android: An Empirical Case Study of Screenshot and Screen Recording Applications

12. A Framework for Formal Analysis of Privacy on SSO Protocols

13. Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols

14. A Verification Framework for Stateful Security Protocols

15. TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms

16. vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems

17. Context-Aware Usage Control for Android

18. Confidentiality Management in Complex Systems Design

19. Validation of RailML Using ProB

20. SafePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64

21. AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation

22. Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review

23. Analyzing Excessive Permission Requests in Google Workspace Add-Ons

24. A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection

25. An Iterative Formal Model-Driven Approach to Railway Systems Validation

27. An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control

28. QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models

29. Modeling and Verification of Solidity Smart Contracts with the B Method

30. Reachability Analysis of Concurrent Self-modifying Code

31. Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain

32. DashChef: A Metric Recommendation Service for Online Systems Using Graph Learning

33. Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction

34. Test Architecture Generation by Leveraging BERT and Control and Data Flows

35. SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection

36. Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures

37. Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report

38. Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification

39. AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance

40. EVM-Vale: Formal Verification of EVM Bytecode Using Vale

42. Understanding Real-Time Payment Dynamics in Australia

43. Linking NFT Transaction Events to Identify Privacy Risks

44. Detecting Malicious Blockchain Transactions Using Graph Neural Networks

45. Central Bank Digital Currency Models : A Short Review

46. One-Phase Batch Update on Sparse Merkle Trees for Rollups

47. On the Relevance of Blockchain Evaluations on Bare Metal

48. Rebound Attacks on Hashing with Automatic Tools

49. BSB: Bringing Safe Browsing to Blockchain Platform

50. A Combination Reduction Algorithm and Its Application

Catalog

Books, media, physical & digital resources