Turing Machine that both halts and loops in NP

This is in regards to a specific TM:

$ UNIQUE: \{$ TM | TM loops on at least an input, and TM also halts on at least one input $ \}$

I want to prove that this is NP-Hard. To do so, I start off by nondeterministically choosing an two inputs. Now deterministically check if one loops and one halts. If both loop/halt, save and one nondeterministically get another input and try to match it with a loop/halt. If one loops and one halts, accept, if no inputs exist such that one will halt and another will loop, we reject.

Does this proof work in proving that $ UNIQUE$ is NP-Hard?

SSL on Azure Virtual machine

We are have installed the Secure Sockets Layer on Virtual machine but the URL not showing secure. Following are the case.

  1. Domain and Secure Sockets Layer is from domain provider.
  2. Domain pointed to 127.0.0.1 IP Address of virtual machine.
  3. For install Secure Sockets Layer on Azure pointed domain we followed the following steps. 3.1. Generated Corporate social responsibility on Local Machine 3.2. Added Corporate social responsibility at the time of setup at domain provider. 3.3 Did domain authorisation
  4. domain provider Approved request and provided Secure Sockets Layer Certification for domain

If possible please generate Corporate social responsibility at your end or share some guideline to generate Corporate social responsibility for 3rd party Secure Sockets Layer and domain provider.

Windows 7 SSD won’t boot in machine with Ubuntu HDD. Both have bootable drives. How can I get dual-boot to work?

My Dad installed Ubuntu (Linux Mint) on the HDD in his gaming computer (go figure) as he didn’t like Windows 10. I got him a game for us both to play, which he has been unable to install on Linux (we don’t want help with that, thanks).

I’ve formatted his SSD with Windows 7 using my own computer (call it “Computer M”) and it works absolutely fine (Computer M is a windows-only machine). When I mount it in his computer (call it “Computer H”), and set the boot order so the SSD goes first, it won’t boot, it crashes after the first few dots of the windows loading screen appear.

On ubuntu i’ve tried “sudo fdisk -l” and here’s what I get:

“Disk /dev/sda: 232.9 GiB, 250059350016 bytes, 488397168 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x84b7372f

Device Boot Start End Sectors Size Id Type /dev/sda1 * 2048 488396799 488394752 232.9G 7 HPFS/NTFS/exFAT

Disk /dev/sdb: 931.5 GiB, 1000204886016 bytes, 1953525168 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 4096 bytes I/O size (minimum/optimal): 4096 bytes / 4096 bytes Disklabel type: gpt Disk identifier: 4910AAF7-C50D-4C97-8812-97030E1A69A1

Device Start End Sectors Size Type /dev/sdb1 2048 1050623 1048576 512M EFI System /dev/sdb2 1050624 1953523711 1952473088 931G Linux filesystem”

If I try “sudo os-prober” nothing appears.

Using “sudo update-grub” I get the following, which has a distinct lack of the word ‘windows’ anywhere:

“Sourcing file /etc/default/grub' Sourcing file/etc/default/grub.d/50_linuxmint.cfg’ Generating grub configuration file … Found linux image: /boot/vmlinuz-4.15.0-45-generic Found initrd image: /boot/initrd.img-4.15.0-45-generic Found linux image: /boot/vmlinuz-4.15.0-20-generic Found initrd image: /boot/initrd.img-4.15.0-20-generic Adding boot menu entry for EFI firmware configuration done”

How can I get this dual-boot to work without re-installing windows or starting from scratch? Is it even possible?

The end goal is to be able to choose which operating system to boot into. If that’s not possible, it would be great to just be able to boot into windows; when the ubuntu drive is not mounted, the windows drive still won’t boot (again – it works fine in my machine).

I have no idea what I’m doing with ubuntu. I’ve been trying this for hours. If I can I provide any other info that will help answer my query, please let me know 🙂

Thanks!

Verifying Host Sterility After Running Malware Tests on Virtual Machine

I know that “VM escape” is becoming a common issue now with malware testing. I’m just wondering if there’s any way of verifying if the host system is clean from any infection after running a malware test (I’m using Cuckoo Sandbox) on a virtual machine (VirtualBox).

Based on this answer, having an up-to-date anti-virus software should be able to protect the host system from these type of situation. Are there any other ways of checking if the host is safe?

Any help will be greatly appreciated!

Full Disk Encryption with Time Machine Backup

I don’t know the appropriate setup to encrypt whole disk drive using FileVault 2 and Automatically backup it without issues. Currently, I’m using a 2nd-gen Intel i7 MBP running macOS High Sierra 10.13.6 (17G5019), One Internal Crucial SSD, APFS volume, and using Time Machine for Backup on a G-technology External Drive, Mac OS Extended (Journaled).

/dev/disk0 (internal, physical): #:                       TYPE NAME                    SIZE       IDENTIFIER 0:      GUID_partition_scheme                        *500.1 GB   disk0 1:                        EFI EFI                     209.7 MB   disk0s1 2:                 Apple_APFS Container disk1         499.9 GB   disk0s2  /dev/disk1 (synthesized): #:                       TYPE NAME                    SIZE       IDENTIFIER 0:      APFS Container Scheme -                      +499.9 GB   disk1                              Physical Store disk0s2 1:                APFS Volume Macintosh HD            456.0 GB   disk1s1 2:                APFS Volume Preboot                 20.4 MB    disk1s2 3:                APFS Volume Recovery                512.0 MB   disk1s3 4:                APFS Volume VM                      10.7 GB    disk1s4  /dev/disk2 (external, physical): #:                       TYPE NAME                    SIZE       IDENTIFIER 0:      GUID_partition_scheme                        *4.0 TB     disk2 1:                        EFI EFI                     209.7 MB   disk2s1 2:                  Apple_HFS G-DRIVE USB             4.0 TB     disk2s2 3:       Microsoft Basic Data G-UTILITIES             4.1 GB     disk2s3