[IEEE Comput. Soc. Press 9th IEEE Computer Security Foundations Workshop - Kenmare, Ireland (10-12 June 1996)] Proceedings 9th IEEE Computer Security Foundations Workshop - Simmons' protocol is not free of subliminal channels
- 作者Desmedt, Y.
- 文件大小642.83KB
- 发表时间1996
- DOI10.1109/csfw.1996.503702
- 页码170-175
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Behavioral synthesisCamposano, R. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Serial fault emulationBurgun, L.; Reblewski, F.; Fenelon, G.; Barbier, J.; Lepape, O. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Techniques for verifying superscalar microprocessorsBurch, J.R. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - State reduction using reversible rulesIp, C.N.; Dill, D.L. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - HEAT: hierarchical energy analysis toolSatyanarayana, J.H.; Parhi, K.K. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Verification of electronic systemsSangiovanni-Vincentelli, A.L.; McGeer, P.C.; Saldanha, A. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Efficient communication in a design environmentVideira, I.; Verissimo, P.; Sarmento, H. · 1996
[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Tutorial: design of a logic synthesis systemRudell, R. · 1996
Area minimization for floorplansPeichen Pan; Liu, C.L. · 1995
[IEEE IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA (November 6-10, 1994)] IEEE/ACM International Conference on Computer-Aided Design - Area Minimization For Hierarchical FloorplansPeichen Pan, ; Weiping Shi, ; Liu, C.L. · 1984
[IEEE Comput. Soc International Conference on Computer Design VLSI in Computers and Processors - Austin, TX, USA (12-15 Oct. 1997)] Proceedings International Conference on Computer Design VLSI in Computers and Processors - Optimal clock period clustering for sequential circuits with retimingKarandikar, A.K.; Peichen Pan, ; Liu, C.L. · 1997
[IEEE Fourth International ACM Symposium on Field-Programmable Gate Arrays - Napa Valley, CA, USA (1996.2.11-1996.2.13)] Fourth International ACM Symposium on Field-Programmable Gate Arrays - Technology Mapping of Sequential Circuits for LUT-Based FPGAs for PerformancePeichen Pan, ; Liu, C.L. · 1996