Rafael Azevedo

Learn More
We present a hardware trusted computing base (TCB) aimed at Direct Recording Voting Machines (T-DRE), with novel design features concerning vote privacy, device verifiability, signed-code execution and device resilience. Our proposal is largely compliant with the VVSG (Voluntary Voting System Guidelines), while also strengthening some of its(More)
The scope of this article was to investigate whether intercessory prayer (IP) influences the adverse outcomes of pregnancies. A double-blind, randomized clinical trial was conducted with 564 pregnant women attending a prenatal public health care service. The women were randomly assigned to an IP group or to a control group (n = 289 per group). They were(More)
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of CPUs, which requires simulation platforms with high performance and flexibility. Applying retarget able instruction-set simulation tools in this environment can simplify the design of new architectures. The increasing(More)
  • 1