-
1دورية أكاديمية
مصطلحات موضوعية: Enclave Programs, Secure Computation, Formal Verification, Confidentiality, Integrity, Remote Attestation
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/72b739sbTest
-
2دورية أكاديمية
المؤلفون: Subramanyan, P, Sinha, R, Lebedev, I, Devadas, S, Seshia, SA
مصطلحات موضوعية: Enclave Programs, Secure Computation, Formal Verification, Confidentiality, Integrity, Remote Attestation
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/72b739sbTest
-
3دورية أكاديمية
المؤلفون: Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit A
مصطلحات موضوعية: Enclave Programs, Secure Systems, Confidentiality, Side Channels
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/9gb6m0dgTest
-
4دورية أكاديمية
المؤلفون: Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit A
مصطلحات موضوعية: Enclave Programs, Secure Systems, Confidentiality, Side Channels
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/9gb6m0dgTest
-
5دورية أكاديمية
المؤلفون: Sinha, Rohit, Costa, Manuel, Lal, Akash, Lopes, Nuno P, Rajamani, Sriram, Seshia, Sanjit A, Vaswani, Kapil
المصدر: ACM SIGPLAN Notices. 51(6)
مصطلحات موضوعية: Enclave Programs, Secure Computation, Confidentiality, Formal Verification, Software Engineering
الوصول الحر: https://escholarship.org/uc/item/49f1638tTest
-
6دورية أكاديمية
المؤلفون: Sinha, R, Costa, M, Lal, A, Lopes, NP, Rajamani, S, Seshia, SA, Vaswani, K
المصدر: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), vol 13-17-June-2016. (6)
مصطلحات موضوعية: Enclave Programs, Secure Computation, Confidentiality, Formal Verification, Software Engineering
الوصول الحر: https://escholarship.org/uc/item/49f1638tTest
-
7دورية أكاديمية
المؤلفون: Glaser, Sally L, Chang, Ellen T, Clarke, Christina A, Keegan, Theresa HM, Yang, Juan, Gomez, Scarlett Lin
المصدر: Leukemia & Lymphoma. 56(12)
مصطلحات موضوعية: Biomedical and Clinical Sciences, Cardiovascular Medicine and Haematology, Cancer, Rare Diseases, Behavioral and Social Science, Prevention, Lymphoma, Hematology, Adolescent, Adult, Aged, Aged, 80 and over, Asian, California, Child, Child, Preschool, Ethnicity, Female, Hispanic or Latino, Hodgkin Disease, Humans, Incidence, Infant, Infant, Newborn, Male, Middle Aged, Native Hawaiian or Other Pacific Islander, Population Surveillance, Registries, SEER Program, Young Adult, Acculturation, epidemiology, ethnic enclave, Hodgkin lymphoma, immigration, Clinical Sciences, Immunology, Cardiovascular medicine and haematology
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/3gb0c44mTest
-
8دورية أكاديمية
المؤلفون: Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit, Vaswani, Kapil
مصطلحات موضوعية: Enclave Programs, Secure Computation, Confidentiality, Formal Verification
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/0qg1g2nmTest
-
9دورية أكاديمية
المؤلفون: Sinha, R, Rajamani, S, Seshia, SA, Vaswani, K
مصطلحات موضوعية: Enclave Programs, Secure Computation, Confidentiality, Formal Verification
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/0qg1g2nmTest
-
10دورية أكاديمية
المؤلفون: Glaser, Sally L, Chang, Ellen T, Clarke, Christina A, Keegan, Theresa HM, Yang, Juan, Gomez, Scarlett Lin
المصدر: Leukemia & lymphoma. 56(12)
مصطلحات موضوعية: Humans, Hodgkin Disease, Population Surveillance, Registries, SEER Program, Incidence, Adolescent, Adult, Aged, Aged, 80 and over, Middle Aged, Child, Child, Preschool, Infant, Infant, Newborn, Asian Americans, Oceanic Ancestry Group, Ethnic Groups, Hispanic Americans, California, Female, Male, Young Adult, Acculturation, Hodgkin lymphoma, epidemiology, ethnic enclave, immigration, Clinical Sciences, Immunology
الوصول الحر: https://escholarship.org/uc/item/9t51b4hqTest