Ismael Rangel Email and Phone Number

Bare Metal Compute SecurityData Transfer AppliancesMassive Scale Asset Sanitization (NIST SP 800-88, Rev.1)UEFI Secure Boot / U-Boot Verified BootGPU-based Compute InstancesSmartNIC Security

hardware-based security assurance for the cloud.key management systems (KMS), hardware security modules (HSM) and hardware cryptographic modules.supply chain security for data centers.formal validation methods for cloud security.server platform management security.bare metal instances security.pcie-sriov based virtualization.tpm-based security - secure boot, measured boot, binding, seal/unseal secrets on secure platforms, PKI enrollment, remote attestation, cryptographic identity, measurements, etc.design for security of next-gen server and rack architectures for the cloud.tools, standards, languages:PKI, tpm 1.2, tpm 2.0java, ipmi, ipmb, cbmc.megarac sdk, LPCXpresso.external projects:S3 - Snowball V1, V2 (edge), Glacier. EC2 - AWS-VMWare Bare Metal Hybrid Cloud, EC2 Specialized instance types C5, M5, I3, F1, P2/P3 and Nitro-based instances.IAM, KMS - AWS next-gen Key Management System.

security review and threat modeling of x86 architectures.pre/post-silicon security validation of intel-based SoC architectures (phone, tablets, servers and microservers).IP Blocks security validation via simulation, emulation, formal and post-si.IPs: Debug (DFx): DFd, DFv, DFt, DFs.Memory Controller, Home Agent, Cache Controller.QPI, DMI Interfaces.SoC Fabric Interfaces/Protocols.Graphics, Display, Protected Audio & Video Path.formal methods as part of the security validation of hardware logic.SoC firmware security validation - trusted boot, secure boot, measured boot.virtualization security (cpu, devices i.e. vt-x, vt-d). MMU/IOMMU, SR-IOV.internship: memory map layout, coherency and cache architecture. memory aliasing/overlapping, cache poisoning attacks.external projects: TXT for Jaketown, Ivytown Haswell (Servers). SGX for Server Architectures. Anniedale and Broxton (Atom). Patsburg and Lynx Point (PCH). Graphics PAVP (IGP). tools, standards, languages:SDL, cryptography, IAM.vhdl, verilog, systemverilog, sva, abv, ovm, uvm, eRM, tcl, c/c++, python, perl, shell scripting.synopsys vcs, verdi, mentor graphics questa, jasper gold fpv, spv, csr and design coverage apps, peach fuzzer, chipsec.