Topic
- Computing and Processing
- Components, Circuits, Devices and Systems
- Communication, Networking and Broadcast Technologies
- Power, Energy and Industry Applications
- Signal Processing and Analysis
- Robotics and Control Systems
- General Topics for Engineers
- Fields, Waves and Electromagnetics
- Engineered Materials, Dielectrics and Plasmas
- Bioengineering
- Transportation
- Photonics and Electrooptics
- Engineering Profession
- Aerospace
- Geoscience
- Nuclear Engineering
- Career Development
- Emerging Technologies
- Telecommunications
- English for Technical Professionals
Hamra Afzaal
Affiliation
Department of Computer Science, Information Technology University, Lahore, Pakistan
Department of Computer Science, COMSATS University Islamabad, Sahiwal Campus, Sahiwal, Pakistan
Department of Computer Science, COMSATS University Islamabad, Sahiwal Campus, Sahiwal, Pakistan
Topic
Formal Verification,Model Checking,Smart Contracts,Blockchain Technology,Consensus Protocol,Model Formulation,Proof Of Stake,Proof Of Work,Safety Properties,Bitcoin,Byzantine Fault Tolerance,Code Blocks,Leader Selection,Malicious Nodes,Previous Epoch,Public Key,State Machine,Blockchain Network,Checkpoint Blockers,Consensus In Round,Consensus Mechanism,Consumption Of Services,Continuous-time Markov Chain,Correction Algorithm,Critical Systems,Crowdsourcing Platforms,Deposit Ratio,Distributed Denial Of Service,Distributed Ledger,End Of Epoch,Ethereum Blockchain,Fault-tolerant,Formal Methods,Health-related Quality Of Life,Internet Of Things,Linear Logic,Major Nodes,Malicious Behavior,Merkle Tree,Number Of Misses,Phase 0,Rate Of Nodes,Safety Features,Security Attacks,Service Providers,Specific Language,Spin Model,State Transition Function,Temporal Logic,Total Number Of Times,
Biography
Hamra Afzaal received the B.S. and M.S. degrees in computer science from COMSATS University Islamabad (CUI), Sahiwal Campus, Pakistan. She is currently pursuing the Ph.D. degree with Information Technology University, Lahore, Pakistan. After graduating, she joined CUI, Sahiwal Campus, as a Lecturer, in 2016. She is a PI of the Project titled “Formally verified Ethereum 2.0 Beacon Chain.” Her research interests include blockchain, wireless networks, and formal modeling and verification.