HIGH ASSURANCE
Experts
- Kinji Mori
- Manuel Barbosa
- Alexander B. Romanovsky
- José Bacelar Almeida
- Gilles Barthe
- Jim Alves-Foss
- Kishor S. Trivedi
- Farokh B. Bastani
- Xiaodong Lu
- I-Ling Yen
- Zdenek Kotásek
- Jie Wu
- Cecília M. F. Rubira
- Algirdas Avizienis
- Santosh K. Shrivastava
- Eduardo B. Fernández
- Vivek Nigam
- Carolyn L. Talcott
- Ulrich Schmid
- Johann Großschädl
- Matthias Függer
- Morris Sloman
- Benjamin Grégoire
- Sy-Yen Kuo
- Paul A. Karger
- Pierre-Yves Strub
- Bin Jiang
- Youmin Zhang
- Andrew S. Tanenbaum
- Ravi S. Sandhu
- David Peleg
- Elena Troubitsyna
- Constance L. Heitmeyer
- Jean-Charles Fabre
- Rogério de Lemos
- Tiago Oliveira
- Ramesh Karri
- Victor L. Winter
- Natarajan Shankar
Venues
- CoRR
- HASE
- IEEE Trans. Computers
- IACR Cryptol. ePrint Arch.
- NDSS
- IEEE Access
- FTCS
- IEEE Symposium on Security and Privacy
- ACM SIGOPS Oper. Syst. Rev.
- ICDCS
- Comput. Secur.
- ACC
- IPDPS
- IEEE Trans. Ind. Electron.
- Computer
- DFT
- SSS
- ACM SIGOPS European Workshop
- IEEE Trans. Software Eng.
- COMPSAC
- SRDS
- SACMAT
- Microprocess. Microsystems
- IEEE Trans. Parallel Distributed Syst.
- Comput. J.
- ARES
- PDPTA
- CCS
- J. Parallel Distributed Comput.
- DAC
- IECON
- SAC
- J. Supercomput.
- J. Syst. Softw.
- PRDC
- SOSP
- Softw. Pract. Exp.
- Comput. Commun.
- IOLTS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend