缺少摘要。
- 可组合形式安全分析：兼具合理性、简单性和效率兰·卡内蒂.1-13 [美国国防部]
- ω连续半环的牛顿方法哈维尔·埃斯帕尔扎,斯特凡·基弗,迈克尔·卢滕伯格.14-26 [美国国防部]
- NFA最小化的可牵引性边界亨利克·比约克隆德,维姆·马滕斯.27-38 [美国国防部]
- 有限自动机、有向图连通性和正则表达式大小赫尔曼·格鲁伯,马库斯·霍尔泽.39-50 [美国国防部]
- 左翼语法是非限制递归的托马什·尤尔津斯基.51-62 [美国国防部]
- 自然数集上方程的计算完备性阿图尔·杰兹,亚历山大·奥霍廷.63-74 [美国国防部]
- 客户端-服务器演算的放置推断马蒂亚斯·纽鲍尔,彼得·蒂曼.75-86 [美国国防部]
- 扩展pi-Calculi马格森,约阿希姆·帕罗,比约恩·维克多,Jesper Bengtson公司.87-98 [美国国防部]
- 类型移动过程模态逻辑中的完备性和逻辑完全抽象马丁·伯杰,Kohei Honda公司,吉田信子.99-111 [美国国防部]
- 多基有限自动机识别的实数集伯纳德·博伊格洛特,朱利安·布鲁斯滕,维罗妮克·布鲁耶尔.112-123 [美国国防部]
- 实时模型检查中的表达性和复杂性帕特里夏·鲍耶,尼古拉斯·马基,乔尔·瓦克宁,詹姆斯·沃雷尔.124-135 [美国国防部]
- STORMED混合动力系统弗拉迪默罗斯弗拉迪默鲁,帕维思拉·普拉巴卡,马赫什·维斯瓦纳坦,盖尔·杜勒鲁.136-147 [美国国防部]
- 具有定性分支时间目标的马尔可夫决策过程的控制器综合与验证托马斯·布拉兹迪尔,Vojtech预测,安东·库塞拉.148-159 [美国国防部]
- 数据日志与LFP阿努杰·达瓦尔,Stephan Kreutzer公司.160-171 [美国国防部]
- 定向st-连通性在对称数据日志中不可表达拉兹洛·埃格里,Benoit Larose公司,帕斯卡·泰森.172-183 [美国国防部]
- 约束满足复杂性中的非二元性曼纽尔·博德斯基,马丁·格罗.184-196 [美国国防部]
- 量化约束满足与多项式生成幂性质胡比·陈.197-208 [美国国防部]
- 部分交换闭包何时保持正则性？安东尼奥·卡诺·戈麦斯,乔瓦娜·瓜亚纳,Jean-Eric别针.209-220 [美国国防部]
- 嵌套词的加权逻辑与代数形式幂级数克里斯蒂安·马蒂森.221-232 [美国国防部]
- 一阶逻辑中定义的一个量词交替的树语言米科拉伊·博扬奇克,吕克·塞古芬.233-245 [美国国防部]
- 正则语言的对偶性与等式理论迈·盖尔克,谢尔盖·格里戈里夫,Jean-Eric别针.246-257 [美国国防部]
- 可逆流程图语言与结构化可逆程序定理横山哲雄,霍尔格·博克·阿克塞尔森,罗伯特·格莱克.258-270 [美国国防部]
- 属性语法和范畴语义Shin-ya胜本.271-282 [美国国防部]
- 量子比特信道的域理论模型凯·马丁.283-297 [美国国防部]
- 相互作用的量子观测器鲍勃·科克,罗斯·邓肯.298-310 [美国国防部]
- 完整安全构图的持久性（在建设性环境中）迪莉娅·凯斯纳.311-322 [美国国防部]
- 系统F存在Call-by-Name异常Sylvain Lebresne公司.323-335 [美国国防部]
- 线性逻辑算法罗伯特·西蒙斯,弗兰克·普芬宁.336-347 [美国国防部]
- 一种简单的高阶存储分离逻辑模型拉尔斯·比克达尔,伯恩哈德再利用,简·施温哈默,杨红seok.348-360 [美国国防部]
- 开放的含义卡琳·格雷梅尔,罗德里克·布隆,芭芭拉·朱布斯曼,莫舍·瓦尔迪.361-372 [美国国防部]
- ATL*可满足性是2EXPTIME-Complete斯文·舍韦.373-385 [美国国防部]
- 可视下压传感器Jean-François Raskin女士,油炸Servais.386-397 [美国国防部]
- 非确定性Mostowski层次和距离-矩阵自动机托马斯·科尔科姆贝特,克里斯托夫·洛丁.398-409 [美国国防部]
- 使用增量SAT解算器分析上下文无关语法罗兰·阿克塞尔森,凯霍·赫尔扬科,马丁·兰格.410-422 [美国国防部]
- 微密码中的弱伪随机函数Krzysztof Pietrzak先生,约翰·舍丁.423-436 [美国国防部]
- 关于黑盒环的提取和整数分解克里斯蒂娜·阿尔特曼,蒂博·贾格尔,安迪·鲁普.437-448 [美国国防部]
- 可提取的完美单向函数兰·卡内蒂,罗尼·拉姆齐·达杜克.449-460 [美国国防部]
- 遗忘基元的容错合并器Bartosz Przydatek公司,尤尔格·沃尔施莱格（Jürg Wullschleger）.461-472 [美国国防部]
- 基于二次通信的异步多方计算贺睦廷,杰斯珀·布乌斯·尼尔森,Bartosz Przydatek公司.473-485 [美国国防部]
- 改进的乱码电路：自由异或门及其应用弗拉基米尔·科莱斯尼科夫,托马斯·施奈德.486-498 [美国国防部]
- 提高点对点网络中VSS的圆形复杂度乔纳森·卡茨,Chiu Yuen Koo先生,兰吉特·库马雷桑.499-510 [美国国防部]
- 如何在不完美切碎的情况下保护自己兰·卡内蒂,德罗·艾格,沙菲·戈德瓦塞尔,Dah-Yoh Lim公司.511-523 [美国国防部]
- 普遍可组合不可否认签名黑泽高鲁,Jun Furukawa先生.524-535 [美国国防部]
- 交互式PCP耶尔·托曼·卡莱,然·拉茨.536-547 [美国国防部]
- 裸公钥模型中的恒轮并发不可回收零知识拉斐尔·奥斯特罗夫斯基,朱塞佩·佩西亚诺,伊万·维斯康蒂.548-559 [美国国防部]
- 谓词加密系统中的授权功能伊莱恩·施,布伦特·沃特斯.560-578 [美国国防部]
- 基于属性的有界密文策略加密维普尔·戈亚尔,阿披舍克耆那0002,奥姆坎·潘迪,阿米特·萨海.579-591 [美国国防部]
- 使经典的诚实验证者零知识协议免受量子攻击肖恩·哈格伦,亚历山德拉·科拉,普拉纳布·森,张胜宇（Shengyu Zhang）.592-603 [美国国防部]
- 有界量子存储模型中的可组合安全性斯蒂芬妮·维纳,尤尔格·沃尔施莱格（Jürg Wullschleger）.604-615 [美国国防部]
- 关于所有哈希函数都弱时级联哈希合路器的强度乔纳森·霍赫,阿迪·沙米尔.616-630 [美国国防部]
- 历史独立杜鹃散列莫尼·纳尔,吉尔·塞格夫,乌迪·维德.631-642 [美国国防部]
- 从非压缩基元构建抗碰撞压缩函数托马斯·施里普顿,Martijn Stam公司.643-654 [美国国防部]
- 哈希函数的鲁棒多属性组合器马克·菲施林,安贾·莱曼,Krzysztof Pietrzak先生.655-666 [美国国防部]
- 具有CCA安全性的同态加密马诺伊·普拉巴卡兰,迈克·罗苏莱克.667-678 [美国国防部]
- 如何使用LPN问题进行加密亨利·吉尔伯特,马修·J·B·罗布肖,扬尼克·塞林.679-690 [美国国防部]
- SFLASH可以修复吗？金泰鼎,费雯·杜波伊斯,伯阴阳,陈嘉欣（Chia-Shin Owen Chen）,陈茂成.691-701 [美国国防部]
- 双因素身份验证密钥交换中的密码错误输入弗拉基米尔·科莱斯尼科夫,查尔斯·拉科夫.702-714 [美国国防部]
- 高效支持多个凭证的附属-隐藏信封和身份验证方案斯坦尼斯劳·贾勒基,刘晓敏.715-726 [美国国防部]