出版物档案

T. 莫里斯,年代. 奈尔, “在公共平台上进行私人计算的关键保障”, 国际计算机科学与安全杂志(IJCSS). 第三卷，第五期. 371 - 383页. CSC期刊. 11月. 2009.

S. Abu-Nimeh,年代. 奈尔, "通过非法无线接入点绕过安全工具栏和网络钓鱼过滤器", 无线通信与移动计算杂志, Wiley InterScience期刊, 卷. 9999年6月. 2009.

S. Abu-Nimeh D. 软羊革, X. 王的年代. 奈尔, 基于贝叶斯加性回归树变量选择的分布式网络钓鱼检测, IEEE国际通信会议(ICC 2009), 德累斯顿, 德国, 小君. 2009.

T. 莫里斯,年代. 奈尔, 公共平台上的私有计算:便携式应用程序安全, 无线通信与移动计算Wiley InterScience杂志. 2009年5月18日.

T. 莫里斯,年代. 奈尔, 《威尼斯人博彩》, 第七届IEEE普适计算与通信国际会议论文集(Percom 2009). 加尔维斯顿，德克萨斯州，美国. 2009年3月9-13日.

T. 莫里斯,年代. 奈尔, 公共平台上的私有计算:便携式应用程序安全, IEEE全球通信会议(GLOBECOM), 11月. 30 - 12月. 4, 2008, Pages ECP.416:1-5.

S. Abu-Nimeh,年代. 奈尔, “通过DNS中毒绕过安全工具栏”, IEEE全球通信会议(GLOBECOM), 11月. 30 - 12月. 4, 2008，第1-6页.

D. 伊斯顿,M. 桑顿,年代. 奈尔年代. Szygenda, 利用公理设计概念的容灾方法, 系统学报, 控制论与信息学, 6(4), 2008, 页的调查.

J. 田,年代. 奈尔 L. 黄,N. Alaeddine和M. 啊?, “以风险为基础的综合方法实现高保证”, 在美国/英国网络中心操作和网络启用能力联合研讨会上的演讲, 华盛顿, DC, 7月24 - 25日, 2008.

S. Abu-Nimeh D. 软羊革,X. 王的年代. 奈尔, 基于贝叶斯加性回归树的网络钓鱼检测分布式架构, eCrime 08年, 2008

M. Padmaraj,年代. 米奈尔. 马,G. Chiruvolu和M. 阿里, 城域以太网带宽敏感快速故障恢复方案, 国际计算机和电信网络杂志, 爱思唯尔出版, 体积52 , 第8期(2008年6月)1603-1616页

L. 黄X. 白年代. 奈尔, “为以患者为中心的医疗保健系统开发基于sse - cmm的安全风险评估流程”, 第六届软件质量国际研讨会, 莱比锡, 德国, 可以, 2008

T. 莫里斯,年代. 奈尔, 在公共平台上用于私人计算的受隐私保护的ELF, IEEE可用性国际会议, 可靠性, 和安全, 2008年3月.

S. Abu-Nimeh D. 软羊革,X. 王的年代. 奈尔, 基于贝叶斯加性回归树的垃圾邮件检测增强电子邮件隐私, 第三届可用性国际会议论文集, 可靠性和安全性, 1044 - 1051页, 2008

D. Feinstein,年代. 米奈尔. 桑顿，量子计算容错与测试研究进展，vol . 11. 第10届IEEE高保证系统工程研讨会(HASE 2007)， 11月. 2007年，德州普莱诺.

S. Abu-Nimeh D. 软羊革,X. 王和S. 奈尔, Phishing Detection: An Experimental Study, ACM International 相依erence Proceeding Series; 卷. 269年,Proc. 第二届APWG犯罪研究人员峰会，宾夕法尼亚州匹兹堡，10月. 2007，第60-69页.

D. 伊斯顿米. 桑顿和V.S.S. 奈尔, 灾难容忍的公理设计过程, 第11届世界系统学多会议论文集, 控制论与信息学(WMSCI), 7月8日, 2007.

D. 伊斯顿,M. 桑顿V.S.S. 奈尔和J. Stracener, 生物医学设备行业的公理设计, 第11届世界系统学多会议论文集, 控制论与信息学(WMSCI), 7月8日, 2007.

T. 莫里斯,V. S. S. 奈尔, PCPP:基于朴素贝叶斯分类的远程主机评估, IEEE, ACM国际并行 & 分布式处理研讨会(IPDPS), 系统和网络安全国际研讨会, 2007年3月页:1 - 8

J. 群众,V. S. S. 奈尔，和G. Spiride. 路径可恢复网状网络的最优备用容量分配:切割, 分解, 还有一个实证分析. 国际并行和分布式系统和网络杂志，卷. 29页，170-179页，2007.

T. 莫里斯,V. S. S. 奈尔, PCPP:公共平台上的私有计算, 公共计算的新范式, IEEE无线普适计算国际研讨会2007, 2007年2月.

S. 奈尔, Ebru Celikel, Marco 马, 线性擦除纠错码的自适应安全性和可靠性, 第七届国际商业信息管理会议论文集, 布雷西亚, 意大利, 12月,. 2006

S. Abu-Nimeh,年代. 奈尔, 移动环境下的网络钓鱼攻击, 移动反病毒研究人员协会, 白皮书, 2006.

S. Abu-Nimeh,年代. 奈尔, 网络钓鱼无线电波:网络钓鱼无线设备, APWG(反网络钓鱼工作组)2006年春季大会和电子邮件认证峰会在芝加哥举行, IL.

M. Padmaraj,年代. 米奈尔. 马,G. Chiruvolu和M. 阿里，“城域以太网分布式快速故障恢复方案”，IEEE ICN, 2006年4月

S. Abu-Nimeh,年代. 奈尔和M. 马, 实验和工业经验:通过内存分析避免拒绝服务, IEEE, AICCSA-06, 2006年3月

S. Abu-Nimeh,年代. 奈尔和M. 马，“通过压力测试避免拒绝服务”，IEEE, AICCSA-06, 2006年3月

M. 阿里，G. Chiruvolu,. 通用电气、米. Padmaraj,年代. 奈尔和M. 马 “基于以太网的MAN/WAN的差异化生存能力”，IEEE AICCSA, 2006年3月

G. Deprez, M. Padmaraj,年代. 奈尔，“异构网络的恢复协议”，IEEE AICCSA, 2006年3月

M. 阿里，G. Chiruvolu, M. Padmaraj,年代. 奈尔和M. 马 “城域以太网的增强软管模型”，IEEE ICON会议录，2005年11月

M. Padmaraj,年代. 米奈尔. 马,G. Chiruvolu和M. 阿里，“城域以太网恢复方案的仿真”，《威尼斯人博彩》，2005年8月

G. Deprez, M. Padmaraj,年代. 奈尔，“网络规划:一种容量分配工具”，电信，2005. ConTEL 2005. 第八届国际会议论文集第1卷，2005年6月15-17日，页(s):147 - 154

M. Padmaraj; S. 奈尔; M. 马; G. Chiruvolu; M. 阿里; A. Ge; "Metro Ethernet traffic engineering based on optimal multiple spanning trees", 无线和光通信网络, 2005. WOCN 2005. 第二届IFIP国际会议6-8三月2005页(s):568 - 572

M. Padmaraj,年代. 米奈尔. 马,G. Chiruvolu, M. 阿里. “基于多生成树区域的企业以太网流量工程”，icw, pp. 261-266, 2005 系统通信(ICW'05, ICHSN'05, ICMCS'05, SENET'05)， 2005.

K. 英迪拉黛维和V. S. S. 奈尔. 基于仿真的认证协议验证. 集成设计与过程科学学报，第8卷.，第4期，第4页. 79 - 98年12月. 2004.

M. 斯蒂芬斯和S. 奈尔, 从Internet PC网格为空闲CPU周期提供服务水平协议, 第16届IASTED并行和分布式计算与系统国际会议, 髓样2004, 11月9 - 11, 2004, 剑桥, MA, 美国.

M. 斯蒂芬斯和S. 奈尔, 面向电子商务的互联网分布式计算, 第七届国际电子商务研究会议论文集, pp. 221 - 233，六月. 2004.

V. Venkataraghavan,年代. 奈尔 P. 塞德尔, 安全协议实现中属性验证的测试用例生成, 中南安全研讨会, 小君. 2004

M. 帕德马拉吉和S. 奈尔. 安全网格计算的元认证协议仿真. 摘自OPNETWORKS '03的论文集. 8月3日. 2003.

M. Padmaraj V. Venkataraghavan和S. 奈尔. 网络安全协议的仿真. 摘自《威尼斯人博彩》2002年版. 2002年3月3日.

K. Indiradevi V. S. S. 奈尔和J. A. 亚伯拉罕. 用于安全认证协议的元认证框架. 互联网上电子商务、电子教育和电子科学的基础设施，SSGRR-2001，意大利，8月. 2001.

K. 皮拉伊,V. S. S. 奈尔，软件开发管理，电气与电子工程百科全书[J]. B. 韦氏编辑)，约翰·威利 & 儿子公司. 2000, isbn 0-471-35895-9

H. C. 坎卡亚和V. S. S. 奈尔. SONSAT: SONET网络的可靠性分析工具. IEEE ASSET'00研讨会论文集，2000年6月.

H. C. 坎卡亚和V. S. S. 奈尔. 改进了SONET SHRs的生存能力分析. 计算机学报，31 (1):2505-2528; 12月. 1999.

J. L. 群众,V. S. S. 奈尔和M. H. 拉赫曼. 基于优化的可生存网络最小代价环覆盖算法. 计算优化与应用，14 (10):219-230. 1999.

K. Indiradevi V. S. S. 奈尔和J. A. 亚伯拉罕. 身份验证协议的正式验证. IEEE ASSET'99研讨会论文集，理查森，德克萨斯州. IEEE, 7月. 1999.

Z. 碱法和V. S. S. 奈尔. ATM网络上VBR视频传输端到端小区损失恢复的线性码. IEEE国际ATM会议，1999年6月.

Z. Alkhalifa V. S. S. 奈尔 N. Krishnamurthy和J. A. 亚伯拉罕. 实时系统中在线错误检测的系统级检查的设计与评价. 并行与分布式系统学报，1999年6月.

G. 蜘蛛和V. S. S. 奈尔. 电信网络模块化备用容量分配的分解方法. 1999年5月，在辛辛那提召开的INFORMS会议上.

M. A. 桑顿和V. S. S. 奈尔. 使用基于频谱的启发式的组合逻辑的行为综合. 电子系统设计自动化学报，第4期. 2:219 - 230年4月. 1999

H. C. 坎卡亚和V. S. S. 奈尔. 自修复SONET网络性能分析的分层方法. 第七届计算机通信与网络国际会议论文集, 362 - 69页. IEEE排版. Soc., 1998.

H. C. 坎卡亚和V. S. S. 奈尔. 自愈SONET环的生存性分析. 《威尼斯人博彩》1998，卷4，页2276-81. IEEE Com. Soc., 1998.

H. C. 坎卡亚和V. S. S. 奈尔. 自修复SONET网络的加速可靠性分析. 计算机通信，28(4):268-77,1998年10月.

K. 英迪拉黛维和V. S. S. 奈尔. 一种新的无线ATM局域网信令协议的评估. 第六届国际电信系统会议论文集，纳什维尔，田纳西州，1998年.

G. Spiride H. C. Cankaya G. I. Indiradevi,年代. 奈尔和N. Stollon. 混合槽总线轮循仲裁器的性能评价. 摘自《威尼斯人博彩》1998年版. 1998年3月3日.

G. 蜘蛛和V. S. S. 奈尔. SONET网状网络恢复协议的性能评价. 摘自《威尼斯人博彩》1998年版. 1998年3月3日.

G. 蜘蛛和V. S. S. 奈尔. SONET恢复协议的仿真研究——扩展摘要. Proc中. 第二十八届FTCS会议., 1998.

G. 精灵与S. 奈尔. SONET网状网络恢复协议的建模与仿真. Proc中. IEEE全球电信协会. 相依. (GLOBECOM)， 1998年第1538-1543页.

V. S. S. 奈尔和Z. Alkhalifa. 线性擦除纠错码(lec). 第五届IEEE国际在线测试研讨会，1998年7月.

H. 金和V. S. S. 奈尔. 分布式对象计算的软件容错. 系统与软件杂志，卷. 39, No.2, pp. 103 - 117年11月. 1997.

H. C. 坎卡亚和V. S. S. 奈尔. 自愈SONET网状网络的生存性指标. 见国际科学与科学学会十二届会议录，第一卷，269-276页. Bogazici大学，Bogazici大学出版社，1997.

H. C. 坎卡亚和V. S. S. 奈尔. 自愈SONET网状网络的可靠性和可用性评估. IEEE Proceedings of GLOBECOM' 1997，卷1，页252-256. IEEE Com. Soc., 1997.

Z. 碱法和V. S. S. 奈尔. 一种便携式控制流检查技术的设计与实现. IEEE高保证系统工程国际研讨会，2008年8月. 1997.

K. 皮莱和V. S. S. 奈尔. 早期软件成本预测的复合模型. IEEE软件工程汇刊，23,no. 8:485 - 497年8月. 1997.

K. 皮莱和V. S. S. 奈尔. 非平稳软件度量的统计分析信息与软件技术杂志, 39, no.5:363-373, 1997年7月.

V. S. S. 奈尔. 硬件和软件容错的应用层技术. 第二届世界集成设计与工艺技术大会论文集, 138 - 145页, 12月. 1996.

K. 皮拉伊,V. S. S. 奈尔 H. 克罗珀和R. 扎亚茨. 具有演化原型的配置管理系统. ISACC 96, 软件工程中的应用与研究, 管理信息系统和分布式计算系统, 页面3-11, 10月. 1996.

K. 队长N. •S. 奈尔和J. A. 亚伯拉罕. 评估在线错误检测的集成系统级检查. IEEE国际计算机性能与可靠性研讨会，2009年9月. 1996.

V. S. S. 奈尔 H. 金,N. Krishnamurthy和J. A. 亚伯拉罕. 设计和评估信号处理应用的自动高级检查. SPIE信号处理高级算法与体系结构会议论文集, 292 - 301页, 8月. 1996.

B. 卡普尔和V. S. S. 奈尔. 提高组合电路的路径灵敏度. 超大规模集成电路设计，5 (5):49-57,1996.

V. S. S. 奈尔 J. A. 亚伯拉罕和P. 巴纳吉. 基于算法的容错方案的有效分析技术. IEEE计算机汇刊，第499-503页，4月. 1996.

M. 桑顿和V. S. S. 奈尔. 基于bdd的Reed-Muller电路实现的频谱方法. 电子工程学报。计算机与数字技术，143 (3):145-150. 1996.

V. S. S. 奈尔 K. 英迪拉黛维和J. A. 亚伯拉罕. 对可靠的用户界面进行正式检查. IEEE国际容错系统会议论文集，17-25页，12月. 1995.

M. 桑顿和V. S. S. 奈尔. 谱系数的有效计算及其应用. 集成电路与系统的计算机辅助设计，14 (11):1328-1341. 1995.

K. 英迪拉黛维和V. S. S. 奈尔. 用户界面的可用性和可靠性评估. IEEE可靠系统评估技术国际研讨会论文集，2010年10月. 1995.

L. 麦克费林和V. S. S. 奈尔. 使用断言进行控制流检查. 关键应用可靠计算国际工作会议论文集, 103 - 112页, 9月. 1995.

C. F. 萨尔维亚诺和V. S. S. 奈尔. 一对多:一种通过一对多翻译的零碎编程语言扩展的设计模式. 第二届程序模式语言年会论文集，第1-9页，2009年9月. 1995.

M. 桑顿和V. S. S. 奈尔. 使用输出概率的快速里德-穆勒谱计算. 我的建议是10.5 Reed-Muller展开在电路设计中的应用研讨会，第281 - 287页，2008年8月. 1995.

H. 金和V. S. S. 奈尔. 分布式面向对象系统的应用层软件容错. IEEE计算机软件与应用国际会议(COMPSAC-95)， 235-241页，2008年8月. 1995.

M. 桑顿和V. S. S. 奈尔. 奇偶校验函数的检测和实现使用一个小的谱系数集. IEEE/ACM逻辑综合国际研讨会论文集(IWLS)，第8页.39 - 8.1995年5月47日.

C. Erbas, M. 塔尼克和V. S. S. 奈尔. SIMD机器中的并行内存分配和数据对齐. 并行算法与应用，(4):139-151,12月. 1994.

M. A. 桑顿和V. S. S. 奈尔. 利用电路输出概率高效计算谱系数. 数字信号处理:评论杂志，页245-254,10月. 1994.

B. 卡普尔和V. S. S. 奈尔. 一种有效的基于树的路径延迟故障覆盖计算算法. IEEE国际ASIC会议论文集，417-420页，2009年9月. 1994.

B. 卡普尔和V. S. S. 奈尔. 使用obdd计算精确的路径延迟故障覆盖. IEEE中西部电路与系统研讨会论文集，2008年8月. 1994.

V. S. S. 奈尔和S. 文卡特斯. 非计算密集型应用的基于算法的容错. SPIE信号处理高级算法与体系结构会议论文集, 751 - 759页, 7月. 1994.

R. 罗威尔和V. S. S. 奈尔. 辅助存储器系统中的统计错误定位和校正. 微计算机应用，17 (6):255-271. 1994.

M. A. 桑顿和V. S. S. 奈尔. 员工持股形式的行为到结构翻译. IEEE国际Verilog HDL会议论文集，第58-62页，3月. 1994年(最佳论文奖).

B. 卡普尔和V. S. S. 奈尔. 区域、性能和敏感路径. 第四届IEEE大湖VLSI研讨会论文集，第222-227页，3月. 1994.

R. 罗威尔和V. S. S. 奈尔. 二级存储纠错利用存储数据的固有冗余. IFIP关键应用可靠计算工作会议论文集(DCCA)， 2009年1月. 1994.

C. Erbas, M. 塔尼克和V. S. S. 奈尔. 并行存储系统的存储方案:一种基于循环矩阵的方法. IEEE并行和分布式处理研讨会论文集(SPDP)， 92-99页，12月. 1993.

S. 克里希纳T. 菱形和V形. S. S. 奈尔. 分布式系统中面向对象的分层容错方法. IEEE软件可靠性工程国际研讨会论文集，第168-177页，2011年11月. 1993.

M. A. 桑顿和V. S. S. 奈尔. 一种利用谱信息的迭代组合逻辑合成技术. IEEE欧洲设计自动化会议论文集(EURO-DAC)， 358-363页，2009年9月. 1993.

M. A. 桑顿和V. S. S. 奈尔. Reed-Muller电路合成的数值方法. IFIP Reed-Muller展开在电路设计中的应用研讨会论文集, 69 - 74页, 9月. 1993.

B. 卡普尔和V. S. S. 奈尔. 基于Shannon分解的全鲁棒路径延迟故障可测数字逻辑区域高效实现. IEEE逻辑综合国际研讨会论文集，第4c1-4c8页，1993年5月.

V. S. S. 奈尔 Y. V. 霍斯科特和J. A. 亚伯拉罕. 容错多处理机系统在线检测的概率评估. 计算机学报，41 (5):532-541,1992.

P. 巴纳吉 J. Rahmeh C. Stunkel V. S. S. 奈尔 K. Roy和J. A. 亚伯拉罕. 基于算法的超立方体多处理器容错. IEEE Transactions on Computers，第1132-1145页，2009年9月. 1990.

V. S. S. 奈尔和J. A. 亚伯拉罕. 基于并发错误检测的容错系统分析新概率模型. SPIE信号处理高级算法与体系结构会议论文集，2007年7月. 1990.

V. S. S. 奈尔和J. A. 亚伯拉罕. 基于并发错误检测的容错多处理机系统分层设计与分析. 第20届IEEE容错计算国际研讨会论文集，130-137页，6月. 1990.

V. S. S. 奈尔和J. A. 亚伯拉罕. 处理器阵列上容错矩阵操作的实数代码. IEEE Transactions on Computers, 426-435页，4月. 1990.

V. S. S. 奈尔和J. A. 亚伯拉罕. 一个用于分析、设计和比较容错WSI架构的模型. 国际集成电路技术研讨会论文集，99-108页，1989年6月.

V. S. S. 奈尔和J. A. 亚伯拉罕. 容错信号处理体系结构的分析模型. SPIE信号处理高级算法与体系结构会议论文集, 246 - 257页, 8月. 1988.

P. 巴纳吉 J. T. Rahmeh C. B. Stunkel V. S. S. 奈尔 K. Roy和J. A. 亚伯拉罕. Intel超立方体多处理器的系统级容错性评估. 第18届IEEE容错计算国际研讨会论文集，第362-367页，6月. 1988.

V. S. S. 奈尔和J. A. 亚伯拉罕. 处理器阵列上容错矩阵运算的一般线性代码. 第18届ieee容错计算国际研讨会论文集，页180-185,6月. 1988.

V. S. S. 奈尔和J. A. 亚伯拉罕. 处理器阵列上容错矩阵操作的平均校验和码. 国际超级计算会议论文集，3:284-290,1987年5月.