Concepedia

Andrew Loveless

AL

2

Publications

25

Citations

2

H-Index

2021

Active since

Affiliations

University of Michigan(Current)

Andrew Loveless is an author at University of Michigan specializing in formal verification, formal methods, and system software.

Top concepts

EngineeringFormal MethodsFault ToleranceSystem SoftwareComputer ScienceHardware SecurityReal-time SystemsParallel ComputingDistributed SystemsFormal Verification

Publications per year

2021–2023

2

Publications

2

IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution

Andrew Loveless, Ronald Dreslinski, Baris Kasikci et al. · 2021 · 15 citations

Engineering, Computer Architecture, Fault Tolerance +21

Chex-Mix: Combining Homomorphic Encryption with Trusted Execution Environments for Oblivious Inference in the Cloud

Deepika Natarajan, Andrew Loveless, Wei Dai et al. · 2023 · 10 citations

Rows per page

1–2 of 2