HILT 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Tony AielloAiello, Tony AdaCore Committee Member in Program Committee within the HILT-track
Paul AndersonAnderson, Paul GrammaTech, Inc Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
B William BailBail, William The MITRE CorporationUnited States Session Chair of V (part of HILT) Session Chair of II (part of HILT) Program Co-Chair in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Eric BaizeBaize, Eric SAFECode / Dell SAFECode.org and Secure Software Development Practices
Ted BakerBaker, Ted Committee Member in Program Committee within the HILT-track
Andrew BernsBerns, Andrew University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Committee Member in Program Committee within the HILT-track
Deborah BodeauBodeau, Deborah The MITRE Corporation Cyber-Resilience: What does it really mean, and how do we design it into our systems?
Ben BrosgolBrosgol, Ben AdaCore Committee Member in Program Committee within the HILT-track
C Chris CasinghinoCasinghino, Chris Draper Laboratory A Language for Programmable Hardware Security
Sagar ChakiChaki, Sagar Mentor Graphics CorporationUnited States Committee Member in Program Committee within the HILT-track
Peter ChapinChapin, Peter Vermont Technical CollegeUnited States Session Chair of III (part of HILT) Committee Member in Program Committee within the HILT-track
Rod ChapmanChapman, Rod Protean Code Committee Member in Program Committee within the HILT-track
Stephen ChongChong, Stephen Harvard UniversityUnited States Panel on Language-based Security Committee Member in Program Committee within the HILT-track
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch UniversityNetherlands Tool support for Confidentiality by Construction
Dirk CraeynestCraeynest, Dirk KU LeuvenBelgium Committee Member in Program Committee within the HILT-track
Léo CreuseCreuse, Léo ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
James CurbowCurbow, James University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
D Claire DrossDross, Claire AdaCoreFrance Committee Member in Program Committee within the HILT-track
F Peter FeilerFeiler, Peter Carnegie Mellon Software Engineering InstituteUnited States Architecture-level security in a safety-critical system Committee Member in Program Committee within the HILT-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Who decides what is allowed? User Interactions and Permissions Use on Android
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance SPARK by Example: an introduction to formal verification through the standard C++ library
H Drew HamiltonHamilton, Drew Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Joshua HilliardHilliard, Joshua University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Benjamin HockingHocking, Benjamin Dependable Computing, LLCUnited States Committee Member in Program Committee within the HILT-track
Jerome HuguesHugues, Jerome ISAEFrance SPARK by Example: an introduction to formal verification through the standard C++ library Committee Member in Program Committee within the HILT-track
Joffrey HuguetHuguet, Joffrey ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
Brian HulbertHulbert, Brian Linquest Committee Member in Program Committee within the HILT-track
J Sheriff JorkehJorkeh, Sheriff University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
K John KassieKassie, John Rockwell Collins Committee Member in Program Committee within the HILT-track
Joe KiniryKiniry, Joe Galois, Inc. Committee Member in Program Committee within the HILT-track
Alexander KnüppelKnüppel, Alexander TU Braunschweig, Germany Tool support for Confidentiality by Construction
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Soundness of a Dataflow Analysis for Memory Monitoring Committee Member in Program Committee within the HILT-track
Derrick KourieKourie, Derrick Stellenbosch University Tool support for Confidentiality by Construction
L Frederic LoulergueLoulergue, Frederic Northern Arizona University Soundness of a Dataflow Analysis for Memory Monitoring
Dara LyLy, Dara CEA LIST Soundness of a Dataflow Analysis for Memory Monitoring
M Robert A. MartinMartin, Robert A. The MITRE CorporationUnited States CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
Nicholas MatsakisMatsakis, Nicholas Mozilla CorporationUnited States Committee Member in Program Committee within the HILT-track
Arch McKinlayMcKinlay, Arch USC; US GovernmentUnited States Committee Member in Program Committee within the HILT-track
Yannick MoyMoy, Yannick AdaCoreFrance Committee Member in Program Committee within the HILT-track
P Erhard PloederederPloedereder, Erhard Universität Stuttgart Committee Member in Program Committee within the HILT-track
Sam ProcterProcter, Sam Carnegie Mellon Software Engineering Institute Architecture-level security in a safety-critical system Panel on Language-based Security
R Raymond RichardsRichards, Raymond DARPA DARPA CASE program, motivation and challenges
Clyde RobyRoby, Clyde IDA Session Chair of I (part of HILT) Committee Member in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Tobias RungeRunge, Tobias TU Braunschweig Panel on Language-based Security Tool support for Confidentiality by Construction
S Miho SandersSanders, Miho University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Panel on Language-based Security Tool support for Confidentiality by Construction
Julien SignolesSignoles, Julien CEA LIST Soundness of a Dataflow Analysis for Memory Monitoring
Alok SrivastavaSrivastava, Alok SAIC Session Chair of IV (part of HILT) Committee Member in Program Committee within the HILT-track
T S Tucker TaftTaft, S Tucker Session Chair of Keynote: Martin (part of HILT)
Tucker TaftTaft, Tucker AdaCoreUnited States Session Chair of Showcase & Wrapup (part of HILT) Session Chair of Keynote: Richards (part of HILT) SIGAda Awards and Sponsor Intros Workshop Wrapup Welcome to the HILT 2018 Workshop Panel on Language-based Security Security Showcase -- SPARK Formal Verification for Security Program Co-Chair in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Jim ThompsonThompson, Jim US DoD Committee Member in Program Committee within the HILT-track
Joyce TokarTokar, Joyce Pyrrhusoft Committee Member in Program Committee within the HILT-track
Mario TroianiTroiani, Mario Virtual Software SystemsUnited States Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
V Elaine VensonVenson, Elaine USC Committee Member in Program Committee within the HILT-track
W Lucas WagnerWagner, Lucas Rockwell Collins SpeAR – Using a formal specification language for safety and security Panel on Language-based Security Committee Member in Program Committee within the HILT-track
Bruce WatsonWatson, Bruce Stellenbosch University; and Centre for AI Research, CSIR Tool support for Confidentiality by Construction
Michael WhalenWhalen, Michael University of MinnesotaUnited States Committee Member in Program Committee within the HILT-track
David A. WheelerWheeler, David A. IDA Programming Language Systems for Developing Cyber Resilient Software