Links
Former Research Groups joined to RISEC
- RCIS (Research Center for Information Security)
- CFV (Collaborative Research Team for Verification and Semantics
Notice: RISEC has been reformed and merged into new Information Technology Research Institute on April 1, 2015.