Publications and Appendices


  1. RT-Level Data Secrecy Protection through Proof-Carrying Based Information Flow Tracking (under submission)
    APPENDIX A: STATIC SCHEME FOR DES CIRCUIT
    APPENDIX B: DYNAMIC SCHEME FOR DES CIRCUIT
    APPENDIX C: DYNAMIC SCHEME FOR AES CIRCUIT