88 results on '"Bai, Guangdong"'
Search Results
2. Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning
3. Preserving the Privacy and Cybersecurity of Home Energy Data
4. Preserving the Privacy and Cybersecurity of Home Energy Data
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
26. Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair
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
41. Data Sharing Using Verifiable Credentials in the Agriculture Sector
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.